Revisiting constraint-directed search

Magnus Ågren, Pierre Flener, Justin Pearson
March 2009
PDF Cite DOI
Type
Journal article
Publication
Information and Computation