Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
A central computational task in database theory, finite model theory, and computer science at large is the evaluation of a first-order sentence on a finite structure. In the contex…
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…