|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 9 keywords
|
|
|
|
|
Results
Found 329 publication records. Showing 328 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mutsunori 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.  |
Annals OR  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang aggregates as propositional formulas. |
Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Obermeier, Javier Romero 0003, Torsten Schaub |
Multi-Shot Stream Reasoning in Answer Set Programming: A Preliminary Report. |
OJDB |
2019 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
Multi-shot ASP solving with clingo. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
plasp 3: Towards Effective ASP Planning. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
Hybrid metabolic network completion. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Torsten Schaub |
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Torsten Schaub |
Temporal Logic Programs with Temporal Description Logic Axioms. |
Description Logic, Theory Combination, and All That |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |
telingo = ASP + Time. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko |
Train Scheduling with Hybrid ASP. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Towards Dynamic Answer Set Programming over Finite Traces. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub |
The Return of xorro. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Patrick Lühne, Torsten Schaub |
Verifying Strong Equivalence of Programs in the Input Language of gringo. |
LPNMR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Lower Bound Founded Logic of Here-and-There. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh 0001 |
Generalized Target Assignment and Path Finding Using Answer Set Programming. |
SOCS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Javier Romero 0003, Torsten Schaub |
On the Integration of CP-nets in ASPRIN. |
IJCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Schaub, Stefan Woltran |
Special Issue on Answer Set Programming. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin 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. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Torsten Schaub, Stefan Woltran |
Interview with Vladimir Lifschitz. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Schaub, Stefan Woltran |
Answer set programming unleashed! |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko |
Design Space Exploration with Answer Set Programming. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Torsten Schaub, Stefan Woltran |
Interview with Gerhard Brewka. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Steffen Schieweck |
Advanced Solving Technology for Dynamic and Reactive Applications. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub |
High-level synthesis of on-chip multiprocessor architectures based on answer set programming. |
J. Parallel Distrib. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge, Torsten Schaub |
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
Temporal Answer Set Programming on Finite Traces. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
plasp 3: Towards Effective ASP Planning. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Patrick Lühne, Torsten Schaub |
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
Hybrid Metabolic Network Completion. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son |
Experimenting with robotic intra-logistics domains. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge |
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son |
Experimenting with robotic intra-logistics domains. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann |
Temporal Answer Set Programming on Finite Traces. |
TPLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt |
Exact multi-objective design space exploration using ASPmT. |
DATE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub |
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. |
ASP-DAC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub |
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
| 1 | Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub |
On leveraging approximations for exact system-level design space exploration: work-in-progress. |
CODES+ISSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Misbah Razzaq, Roland Kaminski, Javier Romero 0003, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski |
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Javier Romero 0003, Torsten Schaub |
Preference Relations by Approximation. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub |
Introducing Temporal Stable Models for Linear Dynamic Logic. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub |
ASP-Based Time-Bounded Planning for Logistics Robots. |
ICAPS |
2018 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
Evaluation Techniques and Systems for Answer Set Programming: a Survey. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Torsten Schaub |
Automatic construction of parallel portfolios via algorithm configuration. |
Artif. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub |
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
Multi-shot ASP solving with clingo. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub |
Clingcon: The Next Generation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
Clingo goes Linear Constraints over Reals and Integers. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub |
Clingo goes linear constraints over reals and integers. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub |
Clingcon: The next generation. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt |
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. |
DATE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Romero 0003, Torsten Schaub, Tran Cao Son |
Generalized Answer Set Planning with Incomplete Information. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
Hybrid Metabolic Network Completion. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
plasp 3: Towards Effective ASP Planning. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
clingo goes Linear Constraints over Reals and Integers. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
Gelfond-Zhang Aggregates as Propositional Formulas. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Kaminski, Torsten Schaub, Philipp Wanko |
A Tutorial on Hybrid Answer Set Solving with clingo. |
Reasoning Web |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh 0001 |
Generalized Target Assignment and Path Finding Using Answer Set Programming. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub |
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
Shift Design with Answer Set Programming. |
Fundam. Inform. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
Answer Set Programming Modulo Acyclicity. |
Fundam. Inform. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski |
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. |
Biosystems |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub |
Grounding and Solving in Answer Set Programming. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Torsten Schaub |
Modeling and Language Extensions. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Orkunt Sabuncu, Torsten Schaub, Christian Schulz-Hanke |
Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Torsten Schaub |
Grounding Recursive Aggregates: Preliminary Report. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Thomas Guyet, Yves Moinard, René Quiniou, Torsten Schaub |
Efficiency Analysis of ASP Encodings for Sequential Pattern Mining Tasks. |
EGC (best of volume) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Guyet, Yves Moinard, Rene Quiniou, Torsten Schaub |
Fouille de motifs séquentiels avec ASP. |
EGC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Javier Romero 0003, Torsten Schaub, Philipp Wanko |
Computing Diverse Optimal Stable Models. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko |
Theory Solving Made Easy with Clingo 5. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero 0003, Torsten Schaub |
Answer Set Solving with Generalized Learned Constraints. |
ICLP (Technical Communications) |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh 0001 |
Solving Goal Recognition Design Using ASP. |
AAAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Paul Vicol, James P. Delgrande, Torsten Schaub |
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. |
ECAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi |
Writing Declarative Specifications for Clauses. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero 0003, Torsten Schaub |
Knowledge-Based Sequence Mining with ASP. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran |
ASP for Anytime Dynamic Programming on Tree Decompositions. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
An ASP Semantics for Default Reasoning with Constraints. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Santiago 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. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Thomas Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub |
AutoFolio: An Automatically Configured Algorithm Selector. |
J. Artif. Intell. Res. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Philipp Obermeier, Torsten Schaub |
Interactive Answer Set Programming - Preliminary Report. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub |
Abstract Gringo. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub |
Abstract gringo. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger H. Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub |
aspeed: Solver scheduling via answer set programming. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Biewer, Benjamin Andres, Jens Gladigau, Torsten Schaub, Christian Haubelt |
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. |
DATE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub |
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. |
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Andres, Alexander Biewer, Javier Romero 0003, Christian Haubelt, Torsten Schaub |
Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub |
Implementing Preferences with asprin. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mutsunori 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. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
Answer Set Programming Modulo Acyclicity. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero 0003, Torsten Schaub |
Progress in clasp Series 3. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub |
ASP Solving for Expanding Universes. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
Shift Design with Answer Set Programming. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub |
Integrating ASP into ROS for Reasoning in Robots. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Vicol, James P. Delgrande, Torsten Schaub |
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, James P. Delgrande, Javier Romero 0003, Torsten Schaub |
asprin: Customizing Answer Set Preferences without a Headache. |
AAAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub |
AutoFolio: Algorithm Configuration for Algorithm Selection. |
AAAI Workshop: Algorithm Configuration |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marijn Heule, Torsten Schaub |
What's Hot in the SAT and ASP Competitions. |
AAAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski |
Boolean Network Identification from Multiplex Time Series Data. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger H. Hoos, Marius Thomas Lindauer, Torsten Schaub |
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Holger H. Hoos, Roland Kaminski, Marius Thomas Lindauer, Torsten Schaub |
Solver Scheduling via Answer Set Programming. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 328 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license