Léonard von Niederhäusern

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Symmetry Breaking

Quantified Boolean Formulae

Constraint Satisfaction Problems

Top Venues

Comput. Manag. Sci.

Publications