Melanie Frühstück

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Cardinality Constraints

Logic Programming

Answer Set Programming

Top Venues

Publications

Gerhard Friedrich, Melanie Frühstück, Vera Mersheeva, Anna Ryabokon, Maria Sander, Andreas Starzacher, Erich Teppan
Representing Production Scheduling with Constraint Answer Set Programming. OR (2014)
Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich
Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints. LPNMR (2013)
Melanie Frühstück, Jörg Pührer, Gerhard Friedrich
Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin. LPNMR (2013)