New width parameters for model counting

DOI10.1007/978-3-319-66263-3_3zbMath1496.68257OpenAlexW2744294793MaRDI QIDQ1680240

Robert Ganian, Stefan Szeider

Publication date: 15 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_3

Mathematics Subject Classification ID

Parameterized complexity, tractability and kernelization (68Q27) Computational aspects of satisfiability (68R07)

Related Items (2)

Functional synthesis via input-output separation ⋮ New width parameters for SAT and \#SAT

This page was built for publication: New width parameters for model counting