Benjamin Kaufmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multi-shot ASP solving with clingo Theory and Practice of Logic Programming	2019-09-19	Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming Annals of Operations Research	2019-03-06	Paper
\textit{clingcon}: the next generation Theory and Practice of Logic Programming	2017-11-09	Paper
Answer set programming modulo acyclicity Fundamenta Informaticae	2017-11-09	Paper
Progress in clasp series 3 Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Answer set programming modulo acyclicity Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Unsatisfiability-based optimization in clasp	2014-02-25	Paper
Multi-threaded ASP solving with clasp Theory and Practice of Logic Programming	2013-03-13	Paper
Conflict-driven answer set solving: from theory to practice Artificial Intelligence	2012-11-15	Paper
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers Logic Programming	2012-11-13	Paper
Multi-criteria optimization in answer set programming	2012-08-29	Paper
scientific article; zbMATH DE number 5914356 (Why is no real title available?)	2011-06-28	Paper
Solution Enumeration for Projected Boolean Search Problems Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2009-06-03	Paper
Engineering an Incremental ASP Solver Logic Programming	2009-01-22	Paper
Conflict-Driven Answer Set Enumeration Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper

Research outcomes over time

This page was built for person: Benjamin Kaufmann