Anton Dries

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 19

Top Topics

Constraint Optimization

Probabilistic Logic

Weighted Model Counting

Logic Programming

Top Venues

Publications