Login / Signup
Hermann Wilhelm
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Linear Constraints
Constraint Language
Decision Trees
Multi Lingual
Top Venues
CoRR
STACS
</>
Publications
</>
Christoph Berkholz
,
Stefan Mengel
,
Hermann Wilhelm
A Characterization of Efficiently Compilable Constraint Languages.
STACS
(2024)
Christoph Berkholz
,
Stefan Mengel
,
Hermann Wilhelm
A characterization of efficiently compilable constraint languages.
CoRR
(2023)