HADDOCK: A Language and Architecture for Decision Diagram Compilation

von Gentzel, Rebecca
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)