Decision procedures for term algebras with integer constraints.

Ting Zhang Henny B. Sipma Zohar Manna

Published in: Inf. Comput. (2006)

Keyphrases

decision procedures
modal logic
automated reasoning
theorem proving
query containment
reasoning problems
data mining
np complete
conjunctive queries
quantified boolean formulas
database
database systems
search algorithm
programming language