Symmetry-Driven Decision Diagrams for Knowledge Compilation.

Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis

Browse the full ECAI paper archive.