Automated auxiliary variable elimination through on-the-fly propagator generation

Jean-Noël Monette, Pierre Flener, Justin Pearson
January 2015
PDF Cite DOI
Type
Conference paper
Publication
CP 2015