Satisfiability Solvers
optimization by simulated annealing : an experimental evaluation ; part ii , graph coloring and number partitioning .