The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Benjamin Kaufmann" ( http://dblp.L3S.de/Authors/Benjamin_Kaufmann )

URL (Homepage):  https://zbmath.org/authors/?q=ai:kaufmann.benjamin  Author page on DBLP  Author page in RDF  Community of Benjamin Kaufmann in ASPL-2

Publication years (Num. hits)
2007-2011 (17) 2012-2016 (17) 2017-2019 (6)
Publication types (Num. hits)
article(14) book(1) inproceedings(24) phdthesis(1)
Venues (Conferences, Journals, ...)
LPNMR(8) CoRR(5) ICLP (Technical Communications...(4) IJCAI(3) TPLP(3) ICLP(2) AAAI(1) AI Commun.(1) AI Magazine(1) Annals OR(1) Artif. Intell.(1) CPAIOR(1) ECAI(1) Fundam. Inform.(1) KI(1) KR(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 41 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko The Potsdam Answer Set Solving Collection 5.0. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The Next Generation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The next generation. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub Grounding and Solving in Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub Answer Set Solving with Generalized Learned Constraints. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko Theory Solving Made Easy with Clingo 5. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran ASP for Anytime Dynamic Programming on Tree Decompositions. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub Answer Set Programming Modulo Acyclicity. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub Progress in clasp Series 3. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Kaufmann High performance answer set solving. Search on Bibsonomy 2015   RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Clingo = ASP + Control: Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Holger H. Hoos, Benjamin Kaufmann, Torsten Schaub, Marius Schneider Robust Benchmark Set Selection for Boolean Constraint Solvers. Search on Bibsonomy LION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Javier Romero 0003, Ramón Otero, Torsten Schaub, Philipp Wanko Domain-Specific Heuristics in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Advanced Conflict-Driven Disjunctive Answer Set Solving. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Conflict-driven answer set solving: From theory to practice. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Multi-threaded ASP Solving with clasp Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Multi-threaded ASP solving with clasp. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub Unsatisfiability-based optimization in clasp. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Answer Set Solving in Practice Search on Bibsonomy 2012   DOI  RDF
1Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider Potassco: The Potsdam Answer Set Solving Collection. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Challenges in Answer Set Solving. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor Cluster-Based ASP Solving with claspar. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller A Portfolio Solver for Answer Set Programming: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-Criteria Optimization in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub Heuristics in Conflict Resolution Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub The Conflict-Driven Answer Set Solver clasp: Progress Report. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor A Simple Distributed Conflict-Driven Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, Torsten Schaub Solution Enumeration for Projected Boolean Search Problems. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Experiences Running a Parallel Answer Set Solver on Blue Gene. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Applications based on Message-Passing, Performance evaluation, Answer Set Programming
1Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub Conflict-Driven Disjunctive Answer Set Solving. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele Engineering an Incremental ASP Solver. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Advanced Preprocessing for Answer Set Solving. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Conflict-Driven Answer Set Enumeration. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub clasp : A Conflict-Driven Answer Set Solver. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Conflict-Driven Answer Set Solving. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license