Solving 3-Colouring via 2SAT.

Guillermo De Ita Luna César Bautista Luis Carlos Altamirano

Published in: MCPR (2011)

Keyphrases

sat instances
stochastic local search
boolean optimization
np complete problems
sat solving
graph coloring
satisfiability problem
sat encodings
boolean satisfiability
search algorithm
weighted max sat
solving problems
neural network
sat solvers
phase transition
np complete
davis putnam logemann loveland