Login / Signup
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees
Witold Charatonik
Emanuel Kieronski
Filip Mazowiecki
Published in:
CoRR (2013)
Keyphrases
</>
decision trees
np complete
propositional logic
satisfiability problem
computational complexity
tree structures
terminological reasoning
machine learning
search algorithm
orders of magnitude
sat problem
boolean formula
tree models