Selected Benchmarks for CNF-to-BDD Compilation
Forschungsdaten: Sonstige Forschungsdaten
Personen und Einrichtungen
- Clemens Dubslaff - , Eindhoven University of Technology (Urheber:in)
- Nils Husung - , Universität des Saarlandes (Urheber:in)
- Nikolai Käfer - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Joshua Wirtz - , Universität Bonn (Urheber:in)