Keyphrases
- answer set programming
- answer set solvers
- modulo theories
- answer sets
- answer set programs
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- web applications
- boolean satisfiability
- logic programs
- phase transition
- search algorithm
- stochastic local search algorithms
- stable model semantics
- max sat
- logic programming
- temporal logic
- sat solving
- stochastic local search
- neural network
- variable ordering
- backtracking search
- pseudo boolean constraints
- np complete
- randomly generated