Benjamin Kaufmann

Identifiers

• name variant Benjamin Kaufmann 0.60 · backfill

Papers (5)

1. Multi-shot ASP solving with clingo cs.AI · 2017 · author #3
2. Clingcon: The Next Generation cs.AI · 2017 · author #2
3. Clingo = ASP + Control: Preliminary Report cs.PL · 2014 · author #3
4. Multi-threaded ASP Solving with clasp cs.LO · 2012 · author #2
5. Heuristics in Conflict Resolution cs.AI · 2010 · author #3

Mentions

• 1405.3694 #3 · backfill · confidence 0.70 Benjamin Kaufmann
• 1210.3265 #2 · backfill · confidence 0.70 Benjamin Kaufmann
• 1005.1716 #3 · backfill · confidence 0.70 Benjamin Kaufmann

Frequent Coauthors

• Torsten Schaub 5 shared papers
• Martin Gebser 4 shared papers
• Roland Kaminski 2 shared papers
• Christian Drescher 1 shared papers
• Max Ostrowski 1 shared papers
• Mutsunori Banbara 1 shared papers