Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation.

Jean-Nol Monette, Pierre Flener, Justin Pearson

Browse the full CP paper archive.