Login / Signup
SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results.
Sriyankar Acharyya
Published in:
J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
</>
theoretical analysis
learning algorithm
computational complexity
graph theory
real world
significant improvement
computational cost
optimization problems
evolutionary algorithm
computationally efficient
search strategies
graph matching