On Simplification of Formulas with Unconstrained Variables and Quantifiers.

Martin Jonás Jan Strejcek

Published in: SAT (2017)

Keyphrases

multiresolution
real numbers
variable selection
propositional formulas
first order logic
random variables
causal relationships
logical formulas
propositional variables
database
natural language
relational databases
search space
conditional probabilities
relevant variables
mathematical formulas