Search dblp for Publications

export results for "toc:db/conf/cpaior/rcra2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cpaior/0001DP10,
  author       = {Marco Alberti and
                  Pierangelo Dell'Acqua and
                  Lu{\'{\i}}s Moniz Pereira},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Observation Strategies for Event Detection with Incidence on Runtime
                  Verification},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:31 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/0001DP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/AddisAV10,
  author       = {Andrea Addis and
                  Giuliano Armano and
                  Eloisa Vargiu},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Experimental Assessment of a Threshold Selection Algorithm for Tuning
                  Classifiers in the Field of Hierarchical Text Categorization},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/AddisAV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/Alviano0L10,
  author       = {Mario Alviano and
                  Wolfgang Faber and
                  Nicola Leone},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation
                  and Experimentation},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/Alviano0L10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/BaiolettiMPR10,
  author       = {Marco Baioletti and
                  Alfredo Milani and
                  Valentina Poggioni and
                  Fabio Rossi},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Experimental Evaluation of Pheromone Models in ACOPlan},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/BaiolettiMPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/CakmakE010,
  author       = {Duygu {\c{C}}akmak and
                  Halit Erdogan and
                  Esra Erdem},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Computing Weighted Solutions in {ASP:} Representation-Based Method
                  vs. Search-Based Method},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/CakmakE010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/Chavez-BosquezP10,
  author       = {Oscar Ch{\'{a}}vez{-}Bosquez and
                  Pilar Pozos Parra and
                  Fl{\'{o}}ri{\'{a}}n Lengyel},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Towards a Deterministic Algorithm for the International Timetabling
                  Competition},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/Chavez-BosquezP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/CostantiniDPT10,
  author       = {Stefania Costantini and
                  Pierangelo Dell'Acqua and
                  Lu{\'{\i}}s Moniz Pereira and
                  Arianna Tocchio},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Ensuring Agent Properties under Arbitrary Sequences of Incoming Events},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/CostantiniDPT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/GuimaransHRJR10,
  author       = {Daniel Guimarans and
                  Rosa Herrero and
                  Daniel Riera and
                  Angel A. Juan and
                  Juan Jos{\'{e}} Ramos},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Combining Constraint Programming, Lagrangian Relaxation and Probabilistic
                  Algorithms to solve the Vehicle Routing Problem},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/GuimaransHRJR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/Maratea10,
  author       = {Marco Maratea},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {An Experimental Evaluation of Max-SAT and {PB} Solvers on Over-Subscription
                  Planning Problems},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/Maratea10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/Marques-SilvaAG10,
  author       = {Jo{\~{a}}o Marques{-}Silva and
                  Josep Argelich and
                  Ana Gra{\c{c}}a and
                  In{\^{e}}s Lynce},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Boolean Lexicographic Optimization},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/Marques-SilvaAG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/MileoSMB10,
  author       = {Alessandra Mileo and
                  Torsten Schaub and
                  Davide Merico and
                  Roberto Bisiani},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Knowledge-Based Multi-Criteria Optimization to Support Indoor Positioning},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/MileoSMB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/OddiRCS10,
  author       = {Angelo Oddi and
                  Riccardo Rasconi and
                  Amedeo Cesta and
                  Stephen F. Smith},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Job Shop Scheduling with Setup Times: Exploring the Applicability
                  of a Constraint-based Iterative Sampling Approach},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper17.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/OddiRCS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/PerriRS10,
  author       = {Simona Perri and
                  Francesco Ricca and
                  Marco Sirianni},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {Towards a Fully-Parallel {DLV} System},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {616},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-616/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/PerriRS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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