Decision Procedures for Flat Array Properties.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: TACAS (2014)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
tight complexity bounds
reasoning problems
conjunctive queries
databases
machine learning
constraint satisfaction
presburger arithmetic