A Local Search Framework for Compiling Relaxed Decision Diagrams.

Michael Rmer, Andr A. Cir, Louis-Martin Rousseau

Browse the full CPAIOR paper archive.