default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRCRA 2009: Reggio Emilia, Italy
- Marco Gavanelli, Toni Mancini:
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. CEUR Workshop Proceedings 589, CEUR-WS.org 2010 - Mehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem:
Comparing ASP and CP on Four Grid Puzzles. - 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. - Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci:
Flexible Plan Verification: Feasibility Results. - Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina:
Improving the Automatic Test Generation process for Coverage Analysis using CBMC. - Simona Perri, Francesco Ricca, Marco Sirianni:
Advanced Heuristics for Parallel ASP Instantiation. - Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. - Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
An Empirical Analysis of Some Heuristic Features for Planning with Local Search in LPG. - Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete:
Efficient Kernels for Sentence Pair Classification. - Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson:
Constrained Optimization Over Massive Databases. - Mohammed Lalou, Zineb Habbas, Kamal Amroun:
Solving Hypertree Structured CSP: Sequential and Parallel Approaches. - Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier:
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. - Inês Lynce, João Marques-Silva:
Restoring CSP Satisfiability with MaxSAT. - Luca Pulina, Armando Tacchella:
A structural approach to reasoning with quantified Boolean formulas.
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.
last updated on 2025-02-21 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
