Antoine Genitrini. Reduced Ordered BDDs as compacted tree-structures: Enumeration and Sampling
Channel: Computational Logic and Applications
Date: 13/10/2020

15th Workshop
Computational Logic and Applications (https://cla.tcs.uj.edu.pl/)
12-13 October 2020

Speaker: Antoine Genitrini
Title: Reduced Ordered Binary Decision Diagrams as compacted tree-structures: Enumeration and Sampling