Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements

This publication has 13 references indexed in Scilit:

• Bounded Model Checking for Timed Systems
  Published by Springer Nature ,2002
• A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
  Published by Springer Nature ,2002
• Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)
  Information and Computation, 2000
• SAT-Based Procedures for Temporal Reasoning
  Published by Springer Nature ,2000
• Symbolic Model Checking without BDDs
  Published by Defense Technical Information Center (DTIC) ,1999
• Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints
  Published by Springer Nature ,1997
• Building decision procedures for modal logics from propositional decision procedures — The case study of modal K
  Published by Springer Nature ,1996
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• First-Order Logic
  Published by Springer Nature ,1968
• A machine program for theorem-proving
  Communications of the ACM, 1962