Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms.

Hlne Fargier, Jrme Mengin, Nicolas Schmidt

Browse the full CP paper archive.