Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.
Yuting ZhaoFangzhen LinPublished in: ICLP (2003)
Keyphrases
- randomly generated
- phase transition
- answer set programming
- np complete
- random instances
- answer sets
- logic programs
- constraint satisfaction
- branch and bound algorithm
- stable models
- sat problem
- boolean functions
- stable model semantics
- combinatorial problems
- satisfiability problem
- cellular automata
- answer set programs
- lower bound
- declarative programming
- hard problems
- sat instances
- general purpose
- np complete problems
- logic programming
- linear programming