Sign in
From Decision Procedures to Synthesis Procedures.
Ruzica Piskac
Published in:
SYNASC (2015)
Keyphrases
</>
decision procedures
theorem proving
modal logic
automated reasoning
reasoning problems
satisfiability problem
conjunctive queries
default logic
quantified boolean formulas
machine learning
metadata
search algorithm