An Approximation Framework for Solvers and Decision Procedures.

Aleksandar Zeljic Christoph M. Wintersteiger Philipp Rümmer

Published in: J. Autom. Reason. (2017)

Keyphrases

decision procedures
databases
modal logic
theorem proving
quantified boolean formulas
automated reasoning
search algorithm
data analysis
expert systems
probabilistic model
probability distribution
data management
reasoning problems