"Weighted Model Counting with Twin-Width: Experimental Results."

Robert Ganian et al. (2022)

Details and statistics

DOI: 10.5281/ZENODO.6610819

access: open

type: Data or Artifact

metadata version: 2024-07-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics