Benjamin Kaufmann

Available identifiers

zbMath Open kaufmann.benjaminMaRDI QIDQ1730737

List of research outcomes

Publication	Date of Publication	Type
Multi-shot ASP solving with clingo	2019-09-19	Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming	2019-03-06	Paper
Clingcon: The next generation	2017-11-09	Paper
Answer Set Programming Modulo Acyclicity*	2017-11-09	Paper
Progress in clasp Series 3	2015-11-04	Paper
Answer Set Programming Modulo Acyclicity	2015-11-04	Paper
Unsatisfiability-based optimization in clasp	2014-02-25	Paper
Multi-threaded ASP solving with clasp	2013-03-13	Paper
Conflict-driven answer set solving: from theory to practice	2012-11-15	Paper
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers	2012-11-13	Paper
Multi-criteria optimization in answer set programming	2012-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q3011296	2011-06-28	Paper
Solution Enumeration for Projected Boolean Search Problems	2009-06-03	Paper
Engineering an Incremental ASP Solver	2009-01-22	Paper
Conflict-Driven Answer Set Enumeration	2007-11-13	Paper

Research outcomes over time

This page was built for person: Benjamin Kaufmann