|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Günther Charwat, Stefan Woltran |
Expansion-based QBF Solving on Tree Decompositions.  |
RCRA@AI*IA  |
2017 |
DBLP BibTeX RDF |
|
| 1 | Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri |
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mikolás Janota, Radu Grigore, Vasco M. Manquinho |
On the Quest for an Acyclic Graph. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Ivan Serina (eds.) |
Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano |
Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Mikolás Janota, João Marques-Silva 0001 |
On Minimal Corrections in ASP. |
RCRA@AI*IA |
2017 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Wallace |
Preprocessing versus Search Processing for Constraint Satisfaction Problems. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Francesco Ricca, Peter Schüller |
External Propagators in WASP: Preliminary Report. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Andrea Formisano 0001, Marco Maratea (eds.) |
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Francesco Lupia, Angelo Mendicelli, Andrea Ribichini, Francesco Scarcello, Marco Schaerf |
Computing the Shapley Value in Allocation Problems: Approximations and Bounds, with an Application to the Italian VQR Research Assessment Program. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Francesco Leofante, Luca Pulina, Armando Tacchella |
Learning with Safety Requirements: State of the Art and Open Questions. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Wallace |
Complexity Analysis vs. Engineering Design in CSP Algorithms: Contravening Conventional Wisdom Again. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Christoph Redl |
Automated Benchmarking of KR-systems. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Peter Schüller |
Adjudication of Coreference Annotations via Finding Optimal Repairs of Equivalence Relations. |
RCRA@AI*IA |
2016 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Andrea Formisano 0001, Marco Maratea (eds.) |
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia |
An Empirical Perspective on Ten Years of QBF Solving. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Jindrich Vodrázka |
Searching for Sequential Plans Using Tabled Logic Programming. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Peter Schüller |
Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Rossi, Francesco Santini 0001 |
Testing Credulous and Sceptical Acceptance in Small-World Networks. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano |
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Toni Mancini |
Now or Never: Negotiating Efficiently with Unknown Counterparts. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
JWASP: A New Java-Based ASP Solver. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini (eds.) |
Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009 |
RCRA@AI*IA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alfonso Gerevini, Alessandro Saetti, Ivan Serina |
An Empirical Analysis of Some Heuristic Features for Planning with Local Search in LPG. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mohammed Lalou, Zineb Habbas, Kamal Amroun |
Solving Hypertree Structured CSP: Sequential and Parallel Approaches. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem 0001 |
Comparing ASP and CP on Four Grid Puzzles. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Ricca, Marco Sirianni |
Advanced Heuristics for Parallel ASP Instantiation. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Angel A. Juan, Scott E. Grasman, Javier Faulin, Daniel Riera, Carlos A. Méndez, Bernardo Ruiz |
Applying Simulation and Reliability to Vehicle Routing Problems with Stochastic Demands. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
Flexible Plan Verification: Feasibility Results. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
A structural approach to reasoning with quantified Boolean formulas. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete |
Efficient Kernels for Sentence Pair Classification. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Inês Lynce, João Marques-Silva 0001 |
Restoring CSP Satisfiability with MaxSAT. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paolo Marin, Matthew Lewis 0004, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia |
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina |
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier |
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson |
Constrained Optimization Over Massive Databases. |
RCRA@AI*IA |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license