2 papers
math.CO2026
The Non-Cancelling-Intersections Conjecture Fails for Left-Linear Trees
Hermann Wilhelm
First formulated by Amarilli, Monet, and Suciu (arXiv:2401.16210, 2024), the Non-Cancelling Intersections (NCI) conjecture is an open problem in combinatorics stating that any set…
cs.LO2024
A characterization of efficiently compilable constraint languages
Christoph Berkholz, Stefan Mengel, Hermann Wilhelm
A central task in knowledge compilation is to compile a CNF-SAT instance into a succinct representation format that allows efficient operations such as testing satisfiability, coun…