A Characterization of Efficiently Compilable Constraint Languages

Christoph Berkholz, Stefan Mengel, Hermann Wilhelm. A Characterization of Efficiently Compilable Constraint Languages. In Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, editors, 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France. Volume 289 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Authors

Christoph Berkholz

This author has not been identified. Look up 'Christoph Berkholz' in Google

Stefan Mengel

This author has not been identified. Look up 'Stefan Mengel' in Google

Hermann Wilhelm

This author has not been identified. Look up 'Hermann Wilhelm' in Google