Skip to content

Do SAT Solvers Make Good Configurators?

Mikols Janota

VenueBSPLC
Year2008
ProceedingsSPLC (2)

Browse the full SPLC paper archive.