Decision Procedures for Flat Array Properties.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: J. Autom. Reason. (2015)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
conjunctive queries
integrity constraints
reasoning problems
tight complexity bounds
bayesian networks
expert systems
special case
class labels
first order logic
inference rules
containment of conjunctive queries
presburger arithmetic