Algorithms for Solving Satisfiability Problems with Qualitative Preferences.
Enrico GiunchigliaMarco MarateaPublished in: Correct Reasoning (2012)
Keyphrases
- satisfiability problem
- stochastic local search
- solving hard
- combinatorial optimization
- phase transition
- orders of magnitude
- search problems
- combinatorial problems
- search algorithm
- qualitative preferences
- user preferences
- computational complexity
- learning algorithm
- cellular automata
- search procedures
- sat instances
- stochastic local search algorithms
- graph coloring problems