The Lovász Local Lemma and Satisfiability.
Heidi GebauerRobin A. MoserDominik SchederEmo WelzlPublished in: Efficient Algorithms (2009)
Keyphrases
- satisfiability problem
- johnson lindenstrauss
- np complete
- propositional logic
- terminological reasoning
- computational complexity
- phase transition
- decision procedures
- quantified boolean formulas
- evolutionary algorithm
- sat solving
- satisfiability testing
- relational databases
- first order logic
- machine learning
- theorem proving
- sat problem
- multiscale