polyDD: Towards a Framework Generalizing Decision Diagrams. - Alban Linard; Emmanuel Paviot-Adet; Fabrice Kordon; Didier Buchs; Samuel Charron (ACSD, 2010)