Decision Procedures for Flat Array Properties.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: SMT (2014)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
tight complexity bounds
data mining
natural language
expert systems
satisfiability problem