Computing minimal representations with binary decision diagrams

Bibliographic reference Royers, Amaury. Computing minimal representations with binary decision diagrams. Ecole polytechnique de Louvain, Université catholique de Louvain, 2016. Prom. : Pecheur, Charles ; Busard, Simon.
Permanent URL http://hdl.handle.net/2078.1/thesis:8200