Subtropical Satisfiability.
Pascal FontaineMizuhito OgawaThomas SturmXuan-Tung VuPublished in: FroCoS (2017)
Keyphrases
- satisfiability problem
- np complete
- propositional logic
- phase transition
- terminological reasoning
- computational complexity
- sat problem
- information retrieval
- decision procedures
- quantified boolean formulas
- information systems
- data structure
- relational databases
- artificial neural networks
- propositional theories
- satisfiability testing