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

DOI: 10.1007/978-3-642-21581-0_22

Citation metrics

6Scopus