Delta-Decision Procedures for Exists-Forall Problems over the Reals.

Soonho Kong Armando Solar-Lezama Sicun Gao

Published in: CoRR (2018)

Keyphrases

decision procedures
reasoning problems
theorem proving
database
databases
machine learning
artificial intelligence
search algorithm
autonomous agents
satisfiability problem
constraint propagation
automated reasoning