Decision Procedures for Queues with Integer Constraints.

Ting Zhang Henny B. Sipma Zohar Manna

Published in: FSTTCS (2005)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
query containment
quantified boolean formulas
conjunctive queries
constraint satisfaction
optimal solution
query processing
logic programs
temporal logic