default search action

combined dblp search
author search
venue search
publication search

ask others

RCRA 2009: Reggio Emilia, Italy

> Home > Conferences and Workshops > RCRA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/2009rcra
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/2009rcra
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/CelikETU009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CelikETU009
Mehmet Çelik, Halit Erdogan, Firat Tahaoglu, Tansel Uras, Esra Erdem:
Comparing ASP and CP on Four Grid Puzzles.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/JuanGFRMR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/JuanGFRMR09
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.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/CestaFFOT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CestaFFOT09
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci:
Flexible Plan Verification: Feasibility Results.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/AngelettiGNPPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/AngelettiGNPPS09
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina:
Improving the Automatic Test Generation process for Coverage Analysis using CBMC.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/PerriRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PerriRS09
Simona Perri, Francesco Ricca, Marco Sirianni:
Advanced Heuristics for Parallel ASP Instantiation.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/MarinL0N0G09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarinL0N0G09
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/GereviniSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GereviniSS09
Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
An Empirical Analysis of Some Heuristic Features for Planning with Local Search in LPG.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/ZanzottoD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/ZanzottoD09
Fabio Massimo Zanzotto, Lorenzo Dell'Arciprete:
Efficient Kernels for Sentence Pair Classification.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/ManciniFMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/ManciniFMP09
Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson:
Constrained Optimization Over Massive Databases.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/LalouHA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/LalouHA09
Mohammed Lalou, Zineb Habbas, Kamal Amroun:
Solving Hypertree Structured CSP: Sequential and Parallel Approaches.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/CiprianoGD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CiprianoGD09
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier:
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/LynceM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/LynceM09
Inês Lynce, João Marques-Silva:
Restoring CSP Satisfiability with MaxSAT.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/PulinaT09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/PulinaT09a
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.