ML Anthology
Authors
Search
About
Petke, Justyna
1 publications
JAIR
2012
Local Consistency and SAT-Solvers
Peter Jeavons
,
Justyna Petke