Incremental algorithms for local search from existential second-order logic

Magnus Ågren, Pierre Flener, Justin Pearson
January 2005
PDF Cite DOI
Type
Conference paper
Publication
CP 2005