On Generating All Solutions of Generalized Satisfiability Problems.
Nadia CreignouJean-Jacques HébrardPublished in: RAIRO Theor. Informatics Appl. (1997)
Keyphrases
- satisfiability problem
- np complete
- stochastic local search algorithms
- phase transition
- search procedures
- graph coloring problems
- temporal logic
- search algorithm
- stochastic local search
- sat problem
- mazurkiewicz traces
- solving hard
- pspace complete
- max sat
- combinatorial problems
- orders of magnitude
- davis putnam
- decision problems
- evolutionary algorithm