Conference Proceedings
Reducing chaos in SAT-like search: Finding solutions close to a given one
I Abío, M Deters, R Nieuwenhuis, PJ Stuckey
LCNS - Lecture Notes in Computer Science | Published : 2011
Conference Proceedings
I Abío, M Deters, R Nieuwenhuis, PJ Stuckey
LCNS - Lecture Notes in Computer Science | Published : 2011