Search dblp for Publications

export results for "toc:db/conf/aiia/rcra2009.bht:"

 download as .bib file

@proceedings{DBLP:conf/aiia/2009rcra,
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-589},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/2009rcra.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/AngelettiGNPPS09,
  author       = {Damiano Angeletti and
                  Enrico Giunchiglia and
                  Massimo Narizzano and
                  Gabriele Palma and
                  Alessandra Puddu and
                  Salvatore Sabina},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Improving the Automatic Test Generation process for Coverage Analysis
                  using {CBMC}},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/AngelettiGNPPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/CelikETU009,
  author       = {Mehmet {\c{C}}elik and
                  Halit Erdogan and
                  Firat Tahaoglu and
                  Tansel Uras and
                  Esra Erdem},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Comparing {ASP} and {CP} on Four Grid Puzzles},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/CelikETU009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/CestaFFOT09,
  author       = {Amedeo Cesta and
                  Alberto Finzi and
                  Simone Fratini and
                  Andrea Orlandini and
                  Enrico Tronci},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Flexible Plan Verification: Feasibility Results},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/CestaFFOT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/CiprianoGD09,
  author       = {Raffaele Cipriano and
                  Luca Di Gaspero and
                  Agostino Dovier},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/CiprianoGD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/GereviniSS09,
  author       = {Alfonso Gerevini and
                  Alessandro Saetti and
                  Ivan Serina},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {An Empirical Analysis of Some Heuristic Features for Planning with
                  Local Search in {LPG}},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/GereviniSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/JuanGFRMR09,
  author       = {Angel A. Juan and
                  Scott E. Grasman and
                  Javier Faulin and
                  Daniel Riera and
                  Carlos A. M{\'{e}}ndez and
                  Bernardo Ruiz},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Applying Simulation and Reliability to Vehicle Routing Problems with
                  Stochastic Demands},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/JuanGFRMR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/LalouHA09,
  author       = {Mohammed Lalou and
                  Zineb Habbas and
                  Kamal Amroun},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Solving Hypertree Structured {CSP:} Sequential and Parallel Approaches},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/LalouHA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/LynceM09,
  author       = {In{\^{e}}s Lynce and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Restoring {CSP} Satisfiability with MaxSAT},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/LynceM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/ManciniFMP09,
  author       = {Toni Mancini and
                  Pierre Flener and
                  Amir Hossein Monshi and
                  Justin Pearson},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Constrained Optimization Over Massive Databases},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/ManciniFMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/MarinL0N0G09,
  author       = {Paolo Marin and
                  Matthew Lewis and
                  Tobias Schubert and
                  Massimo Narizzano and
                  Bernd Becker and
                  Enrico Giunchiglia},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Evaluation of Knowledge Sharing Strategies in a Parallel {QBF} Solver},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/MarinL0N0G09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/PerriRS09,
  author       = {Simona Perri and
                  Francesco Ricca and
                  Marco Sirianni},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Advanced Heuristics for Parallel {ASP} Instantiation},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/PerriRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/PulinaT09a,
  author       = {Luca Pulina and
                  Armando Tacchella},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {A structural approach to reasoning with quantified Boolean formulas},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/PulinaT09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/ZanzottoD09,
  author       = {Fabio Massimo Zanzotto and
                  Lorenzo Dell'Arciprete},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Efficient Kernels for Sentence Pair Classification},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {589},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-589/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/ZanzottoD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.