Simplification by Cooperating Decision Procedures.

Greg Nelson Derek C. Oppen

Published in: ACM Trans. Program. Lang. Syst. (1979)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
reasoning problems
presburger arithmetic
satisfiability problem
objective function
special case
quantified boolean formulas
cellular automata
data exchange
theorem prover
fixpoint