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
Answer Set Programming Modulo Acyclicity*	2017-11-09	Paper
Clingcon: The next generation	2017-11-09	Paper
Answer Set Programming Modulo Acyclicity	2015-11-04	Paper
Progress in clasp Series 3	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benjamin Kaufmann