Selected Benchmarks for CNF-to-BDD Compilation

  • Clemens Dubslaff (Bijdrager)
  • Nils Husung (Bijdrager)
  • Nikolai Käfer (Bijdrager)
  • Joshua Wirtz (Ontwerper)

Dataset

Datum van beschikbaarheid19 okt. 2024
UitgeverZenodo

Toegang dataset

Citeer dit