Login / Signup
Maximilian F. I. Kieler
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Functional Programming
Heuristic Search
Space Complexity
Constraint Satisfaction
Top Venues
CP
</>
Publications
</>
Johannes Klaus Fichte
,
Markus Hecher
,
Maximilian F. I. Kieler
Treewidth-Aware Quantifier Elimination and Expansion for QCSP.
CP
(2020)