![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
RCRA 2010: Bologna, Italy
- Marco Gavanelli, Toni Mancini:
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010. CEUR Workshop Proceedings 616, CEUR-WS.org 2010 - Oscar Chávez-Bosquez, Pilar Pozos Parra, Flórián Lengyel:
Towards a Deterministic Algorithm for the International Timetabling Competition. - Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira:
Observation Strategies for Event Detection with Incidence on Runtime Verification. - Daniel Guimarans, Rosa Herrero, Daniel Riera, Angel A. Juan, Juan José Ramos:
Combining Constraint Programming, Lagrangian Relaxation and Probabilistic Algorithms to solve the Vehicle Routing Problem. - Marco Maratea:
An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems. - Andrea Addis, Giuliano Armano, Eloisa Vargiu:
Experimental Assessment of a Threshold Selection Algorithm for Tuning Classifiers in the Field of Hierarchical Text Categorization. - Mario Alviano, Wolfgang Faber, Nicola Leone:
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. - Simona Perri, Francesco Ricca, Marco Sirianni:
Towards a Fully-Parallel DLV System. - Marco Baioletti, Alfredo Milani, Valentina Poggioni, Fabio Rossi:
Experimental Evaluation of Pheromone Models in ACOPlan. - Alessandra Mileo, Torsten Schaub, Davide Merico, Roberto Bisiani:
Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning. - Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira, Arianna Tocchio:
Ensuring Agent Properties under Arbitrary Sequences of Incoming Events. - João Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce:
Boolean Lexicographic Optimization. - Duygu Çakmak, Halit Erdogan, Esra Erdem:
Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method. - Angelo Oddi, Riccardo Rasconi, Amedeo Cesta, Stephen F. Smith:
Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.