Skip to content

Incremental Algorithms for Local Search from Existential Second-Order Logic.

Magnus gren, Pierre Flener, Justin Pearson

VenueACP
Year2005
ProceedingsCP

Browse the full CP paper archive.