Some Computational Aspects of distance-sat.

Olivier Bailleux Pierre Marquis

Published in: J. Autom. Reason. (2006)

Keyphrases

search algorithm
distance measure
euclidean distance
search strategies
phase transition
satisfiability problem
sat solvers
hamming distance
case study
computational complexity
evolutionary algorithm
distance function
max sat
distance measurement
sat solving