Alexey Ignatiev
Efficient Model Based Diagnosis with Maximum Satisfiability
Caterina Urban
Abstract Interpretation as Automated Deduction
Helmut Veith receives CAV Award
VCLA Co-Chair is one of the recipients of prestigious annual award
Sarah Kirchner
Appointment scheduling in hospitals – sequencing and scheduling using time aggregation
Stephan Holzer
New Algorithms and Lower Bounds in Distributed Computing