Decision Procedures for Recursive Data Structures with Integer Constraints.

Ting Zhang Henny B. Sipma Zohar Manna

Published in: IJCAR (2004)

Keyphrases

decision procedures
data structure
modal logic
theorem proving
automated reasoning
reasoning problems
query containment
satisfiability problem
conjunctive queries
linear constraints
database
constraint programming
incomplete information
constraint satisfaction
logic programming
knowledge base
databases