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

Citation metrics