Alert button
Picture for Benjamin Kaufmann

Benjamin Kaufmann

Alert button

Multi-shot ASP solving with clingo

Mar 20, 2018
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Figure 1 for Multi-shot ASP solving with clingo
Figure 2 for Multi-shot ASP solving with clingo
Figure 3 for Multi-shot ASP solving with clingo
Figure 4 for Multi-shot ASP solving with clingo
Viaarxiv icon

Clingcon: The Next Generation

May 12, 2017
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub

Figure 1 for Clingcon: The Next Generation
Figure 2 for Clingcon: The Next Generation
Figure 3 for Clingcon: The Next Generation
Figure 4 for Clingcon: The Next Generation
Viaarxiv icon

Multi-threaded ASP Solving with clasp

Oct 11, 2012
Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Figure 1 for Multi-threaded ASP Solving with clasp
Figure 2 for Multi-threaded ASP Solving with clasp
Figure 3 for Multi-threaded ASP Solving with clasp
Figure 4 for Multi-threaded ASP Solving with clasp
Viaarxiv icon

Heuristics in Conflict Resolution

May 11, 2010
Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Figure 1 for Heuristics in Conflict Resolution
Figure 2 for Heuristics in Conflict Resolution
Figure 3 for Heuristics in Conflict Resolution
Figure 4 for Heuristics in Conflict Resolution
Viaarxiv icon