1 citations · 1 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
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…
cs.LG2023★ 1 cited
Subtractive Mixture Models via Squaring: Representation and Learning
Lorenzo Loconte, Aleksanteri M. Sladek, Stefan Mengel +4
Mixture models are traditionally represented and learned by adding several distributions as components. Allowing mixtures to subtract probability mass or density can drastically re…