The following pages link to Benjamin Kaufmann (Q1730737):
Displaying 15 items.
- \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming (Q1730740) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Multi-Criteria Optimization in Answer Set Programming (Q2909134) (← links)
- (Q3011296) (← links)
- Answer Set Programming Modulo Acyclicity (Q3449199) (← links)
- Progress in clasp Series 3 (Q3449220) (← links)
- Solution Enumeration for Projected Boolean Search Problems (Q3630153) (← links)
- Answer Set Programming Modulo Acyclicity* (Q4589188) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- Multi-threaded ASP solving with clasp (Q4911132) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Unsatisfiability-based optimization in clasp (Q5398060) (← links)
- Conflict-Driven Answer Set Enumeration (Q5425404) (← links)
- Engineering an Incremental ASP Solver (Q5504656) (← links)
