Subtropical Satisfiability.
Pascal FontaineMizuhito OgawaThomas SturmXuan-Tung VuPublished in: CoRR (2017)
Keyphrases
- satisfiability problem
- np complete
- phase transition
- propositional logic
- quantified boolean formulas
- satisfiability testing
- decision procedures
- computational complexity
- cnf formula
- decision trees
- sat solving
- terminological reasoning
- data sets
- symmetry breaking
- randomly generated
- bayesian networks
- e learning
- information systems
- information retrieval