Schmidt, Nicolas

2 publications

AAAI 2014 A Knowledge Compilation mAP for Ordered Real-Valued Decision Diagrams Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt

IJCAI 2013 Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues Hélène Fargier, Pierre Marquis, Nicolas Schmidt