The phase transition in random horn satisfiability and its algorithmic implications.
Gabriel IstratePublished in: Random Struct. Algorithms (2002)
Keyphrases
- phase transition
- random instances
- random sat
- random constraint satisfaction problems
- random sat instances
- randomly generated
- satisfiability problem
- sat problem
- constraint satisfaction
- np complete
- easy hard easy pattern
- stochastic local search
- combinatorial problems
- average degree
- hard problems
- np complete problems
- np hard
- hamiltonian cycle
- cellular automata
- graph coloring
- search algorithm
- small world networks
- constraint satisfaction problems
- relational learning
- propositional logic
- sat instances
- reinforcement learning
- automated reasoning