The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Gebser" ( http://dblp.L3S.de/Authors/Martin_Gebser )

URL (Homepage):  https://www.cs.uni-potsdam.de/~gebser/  Author page on DBLP  Author page in RDF  Community of Martin Gebser in ASPL-2

Publication years (Num. hits)
2005-2007 (18) 2008-2009 (17) 2010-2011 (23) 2012-2013 (19) 2014-2015 (22) 2016-2017 (17) 2018-2019 (12)
Publication types (Num. hits)
article(45) book(1) inproceedings(81) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 129 publication records. Showing 128 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Gebser, Marco Maratea, Francesco Ricca The Seventh Answer Set Programming Competition: Design and Results. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  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
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. 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
1Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub High-level synthesis of on-chip multiprocessor architectures based on answer set programming. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son Experimenting with robotic intra-logistics domains. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son Experimenting with robotic intra-logistics domains. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub ASP-Based Time-Bounded Planning for Logistics Robots. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub Evaluation Techniques and Systems for Answer Set Programming: a Survey. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander Learning discrete decomposable graphical models via constraint optimization. Search on Bibsonomy Statistics and Computing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Sixth Answer Set Programming Competition. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 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
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Seventh Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran Shift Design with Answer Set Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  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
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca Design and results of the Fifth Answer Set Programming Competition. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub Modeling and Language Extensions. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Grounding Recursive Aggregates: Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  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
1Jori Bomanson, Martin Gebser, Tomi Janhunen Rewriting Optimization Statements in Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) 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, Marco Maratea, Francesco Ricca What's Hot in the Answer Set Programming Competition. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi Writing Declarative Specifications for Clauses. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero 0003, Torsten Schaub Knowledge-Based Sequence Mining with ASP. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser From Non-Convex Aggregates to Monotone Aggregates in ASP. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Santiago Videla, Carito Guziolowski, Federica Eduati, Sven Thiele, Martin Gebser, Jacques Nicolas, Julio Saez-Rodriguez, Torsten Schaub, Anne Siegel Learning Boolean logic models of signaling networks with ASP. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser Rewriting recursive aggregates in answer set programming: back to monotonicity. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub Interactive Answer Set Programming - Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract Gringo. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser Rewriting recursive aggregates in answer set programming: back to monotonicity. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub Abstract gringo. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Anna Ryabokon, Gottfried Schenner Combining Heuristics for Configuration Problems Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  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
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Sixth Answer Set Programming Competition - - Report -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub ASP Solving for Expanding Universes. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran Shift Design with Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Anna Ryabokon, Gottfried Schenner Solving combined configuration problems: a heuristic approach. Search on Bibsonomy Configuration Workshop The full citation details ... 2015 DBLP  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Fifth Answer Set Programming Competition. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  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
1Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher Online Agent Logic Programming with oClingo. Search on Bibsonomy PRICAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen Answer Set Programming as SAT modulo Acyclicity. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jori Bomanson, Martin Gebser, Tomi Janhunen Improving the Normalization of Weight Rules in Answer Set Programs. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen SAT Modulo Graphs: Acyclicity. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Tomi Janhunen, Jussi Rintanen ASP Encodings of Acyclicity Properties. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Schaub Tableau Calculi for Logic Programs under Answer Set Semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub Answer Set Programming for Stream Reasoning Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub A System for Interactive Query Answering with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Marco Gavanelli, Martin Gebser The ICLP 2013 Doctoral Consortium. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider Ricochet Robots: A Transverse ASP Benchmark. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent 0001, Torsten Schaub, Anne Siegel, Sven Thiele Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Matthias Sauer 0002, Martin Gebser, Tobias Schubert 0001, Bernd Becker 0001, Torsten Schaub Accurate Computation of Sensitizable Paths Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß Symbolic System Synthesis Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub Matchmaking with Answer Set Programming. Search on Bibsonomy LPNMR 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
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Answer Set Solving in Practice Search on Bibsonomy 2012   DOI  RDF
1Martin Gebser, Roland Kaufmann, Torsten Schaub Gearing Up for Effective ASP Planning. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub Stream Reasoning with Answer Set Programming: Preliminary Report. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Martin Gebser, Orkunt Sabuncu, Torsten Schaub An incremental answer set programming based system for finite model computation. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  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, Torsten Schaub Complex Optimization in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub aspcud: A Linux Package Configuration Tool Based on Answer Set Programming Search on Bibsonomy LoCoCo The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Torsten Schaub Complex optimization in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber Detecting inconsistencies in large biological networks with answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On elementary loops of logic programs. Search on Bibsonomy TPLP 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 Multi-Criteria Optimization in Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub Advances in gringo Series 3. Search on Bibsonomy LPNMR 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, Torsten Grote, Roland Kaminski, Torsten Schaub Reactive Answer Set Programming. 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, Murat Knecht, Torsten Schaub plasp: A Prototype for PDDL-Based Planning in ASP. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Orkunt Sabuncu, Torsten Schaub Finite Model Computation via Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Gebser Proof theory and algorithms for answer set programming. Search on Bibsonomy 2011   RDF
1Martin Gebser, Joohyung Lee, Yuliya Lierler On Elementary Loops of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  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, Torsten Schaub, Sven Thiele, Philippe Veber Detecting Inconsistencies in Large Biological Networks with Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Gebser, Arne König, Torsten Schaub, Sven Thiele, Philippe Veber The BioASP Library: ASP Solutions for Systems Biology. Search on Bibsonomy ICTAI (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Orkunt Sabuncu, Torsten Schaub An Incremental Answer Set Programming Based System for Finite ModelComputation. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Grote, Torsten Schaub Coala: A Compiler from Action Languages to ASP. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Search on Bibsonomy Int. J. Reconfig. Comp. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Mona Gharib, Robert E. Mercer, Torsten Schaub Monotonic Answer Set Programming. Search on Bibsonomy J. Log. Comput. 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
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
1Martin Gebser, Max Ostrowski, Torsten Schaub Constraint Answer Set Solving. Search on Bibsonomy ICLP 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
1Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele On the Input Language of ASP Grounder Gringo. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 128 (100 per page; Change: )
Pages: [1][2][>>]
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