Inferring variable conflicts for local search

Magnus Ågren, Pierre Flener, Justin Pearson
February 2006
PDF Cite
Type
Report