Sign in

Decision Procedures for Flat Array Properties.

Francesco AlbertiSilvio GhilardiNatasha 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