Tommy Schneider

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Global Constraints

Constraint Satisfaction

Query Answering

Top Venues

ESEC/SIGSOFT FSE

Publications

Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
MCBAT: a practical tool for model counting constraints on bounded integer arrays. ESEC/SIGSOFT FSE (2020)
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. VSTTE (2020)