B. Kaufmann

发表

Robust Benchmark Set Selection for Boolean Constraint Solvers

Marius Thomas Lindauer, Torsten Schaub, Holger H. Hoos, 2013, LION.

Answer Set Programming modulo

B. Kaufmann, Torsten Schaub, M. Gebser, 2016 .

Theory Solving made easy with Clingo 5 ( Extended Version ∗ )

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2016 .

Answer Set Programming Modulo Acyclicity

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2015, Fundam. Informaticae.

clasp , claspfolio , aspeed : Three Solvers from the Answer Set Solving Collection Potassco

B. Kaufmann, Torsten Schaub, 2012 .

Multi-Criteria Optimization in Answer Set Programming

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2011, ICLP.

International Conference on Logic Programming

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2014 .

13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2015 .

Conflict-Driven Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2007, IJCAI.

Answer Set Solving in Practice

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2012, Answer Set Solving in Practice.

Domain-Specific Heuristics in Answer Set Programming

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2013, AAAI.

Domain-pecific Heuristics in Answer Set Programming

J. Romero, T. Schaub, B. Kaufmann, 2013 .

Conflict-driven answer set solving: From theory to practice

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2012, Artif. Intell..

Potassco: The Potsdam Answer Set Solving Collection

Marius Thomas Lindauer, Martin Gebser, Torsten Schaub, 2011, AI Commun..

Heuristics in Conflict Resolution pdf

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2010, ArXiv.

Advanced Preprocessing for Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2008, ECAI.

Conflict-Driven Answer Set Enumeration

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2007, LPNMR.

Challenges in Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

An Analysis of Variability Arising through Recombination.

B. Kaufmann, J. C. King, B. Wallace, 1953, Genetics.

Unsatisfiability-based optimization in clasp

Torsten Schaub, Benjamin Kaufmann, Benjamin Andres, 2012, ICLP.

A Portfolio Solver for Answer Set Programming: Preliminary Report

Marius Thomas Lindauer, Martin Gebser, Torsten Schaub, 2011, LPNMR.

Theory Solving Made Easy with Clingo 5

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2016, ICLP.

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2013, IJCAI.

Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2008, KR.

Clingo = ASP + Control: Preliminary Report pdf

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2014, ArXiv.

$${\varvec{teaspoon}}$$teaspoon: solving the curriculum-based course timetabling problems with answer set programming

Katsumi Inoue, Torsten Schaub, Benjamin Kaufmann, 2019, Ann. Oper. Res..

Multi-shot ASP solving with clingo pdf

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2017, Theory and Practice of Logic Programming.

teaspoon\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{teaspoon}}$$\end{document}: solving the curriculum-ba

B. Kaufmann, Torsten Schaub, Katsumi Inoue, 2018, Annals of Operations Research.

Clingcon: The next generation*

Torsten Schaub, Benjamin Kaufmann, Mutsunori Banbara, 2017, Theory and Practice of Logic Programming.

ASP for Anytime Dynamic Programming on Tree Decompositions

Stefan Woltran, Torsten Schaub, Benjamin Kaufmann, 2016, IJCAI.

Answer Set Solving with Generalized Learned Constraints

Martin Gebser, Torsten Schaub, Patrick Lühne, 2016, ICLP.

Grounding and Solving in Answer Set Programming

Torsten Schaub, Nicola Leone, Benjamin Kaufmann, 2016, AI Mag..

clasp : A Conflict-Driven Answer Set Solver

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2007, LPNMR.

Multi-threaded ASP solving with clasp

Martin Gebser, Torsten Schaub, Benjamin Kaufmann, 2012, Theory and Practice of Logic Programming.

Answer Set Solving in Practice

B. Kaufmann, M. Gebser, Roland Kaminski, 2012, Synthesis Lectures on Artificial Intelligence and Machine Learning.