Parallel search-and-learn techniques and graph coloring.
C. P. RavikumarR. AggarwalPublished in: Knowl. Based Syst. (1996)
Keyphrases
- graph coloring
- parallel search
- combinatorial problems
- theorem proving
- phase transition
- job shop scheduling
- symmetry breaking
- constraint satisfaction problems
- constraint satisfaction
- max sat
- constraint programming
- neural network
- evolutionary computation
- first order logic
- scheduling problem
- cost function
- special case