Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > KEYWORD > KNOWLEDGE COMPILATION:
Reports tagged with knowledge compilation:
TR15-130 | 11th August 2015
Ronald de Haan

An Overview of Non-Uniform Parameterized Complexity

We consider several non-uniform variants of parameterized complexity classes that have been considered in the literature. We do so in a homogenous notation, allowing a clear comparison of the various variants. Additionally, we consider some novel (non-uniform) parameterized complexity classes that come up in the framework of parameterized knowledge compilation. ... more >>>


TR25-127 | 5th September 2025
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche

Proof Systems That Tightly Characterise Model Counting Algorithms

Several proof systems for model counting have been introduced in recent years, mainly in an attempt to model #SAT solving and to allow proof logging of solvers. We reexamine these different approaches and show that: (i) with slight adaptations, the conceptually quite different proof models of the dynamic system MICE ... more >>>




ISSN 1433-8092 | Imprint