|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Conflict-driven answer set solving: From theory to practice.  |
Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Thomas Schneider |
Potassco: The Potsdam Answer Set Solving Collection. |
AI Commun. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
Multi-Criteria Optimization in Answer Set Programming. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller |
A Portfolio Solver for Answer Set Programming: Preliminary Report. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor |
Cluster-Based ASP Solving with claspar. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
Challenges in Answer Set Solving. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Heuristics in Conflict Resolution |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico 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. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
The Conflict-Driven Answer Set Solver clasp: Progress Report. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |
Solution Enumeration for Projected Boolean Search Problems. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
Experiences Running a Parallel Answer Set Solver on Blue Gene. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
Applications based on Message-Passing, Performance evaluation, Answer Set Programming |
| 1 | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
Advanced Preprocessing for Answer Set Solving. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
Engineering an Incremental ASP Solver. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub |
Conflict-Driven Disjunctive Answer Set Solving. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
Conflict-Driven Answer Set Solving. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
Conflict-Driven Answer Set Enumeration. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
clasp : A Conflict-Driven Answer Set Solver. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")