Keyphrases
- answer set solvers
- answer set programming
- answer sets
- modulo theories
- answer set programs
- sat solvers
- satisfiability problem
- web applications
- logic programs
- logic programming
- sat solving
- sat problem
- objective function
- propositional satisfiability
- boolean satisfiability
- stochastic local search
- loss function
- phase transition
- stochastic local search algorithms
- pseudo boolean constraints
- search algorithm
- search strategies
- max sat
- graph coloring
- np complete problems
- variable ordering
- decision problems
- domain independent