BibTeX records: Carles Mateu

download as .bib file

@article{DBLP:journals/virology/GibertMPV19,
  author    = {Daniel Gibert and
               Carles Mateu and
               Jordi Planes and
               Ramon Vicens},
  title     = {Using convolutional neural networks for classification of malware
               represented as images},
  journal   = {J. Computer Virology and Hacking Techniques},
  volume    = {15},
  number    = {1},
  pages     = {15--28},
  year      = {2019},
  url       = {https://doi.org/10.1007/s11416-018-0323-0},
  doi       = {10.1007/s11416-018-0323-0},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/virology/GibertMPV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/GibertLMMP19,
  author    = {Daniel Gibert and
               Alba Lamas and
               Ruben Martins and
               Carles Mateu and
               Jordi Planes},
  title     = {An Android Malware Detection Framework Using Graph Embeddings and
               Convolutional Neural Networks},
  booktitle = {Artificial Intelligence Research and Development - Proceedings of
               the 22nd International Conference of the Catalan Association for Artificial
               Intelligence, {CCIA} 2019, Mallorca, Spain, 23-25 October 2019.},
  pages     = {45--53},
  year      = {2019},
  crossref  = {DBLP:conf/ccia/2019},
  url       = {https://doi.org/10.3233/FAIA190107},
  doi       = {10.3233/FAIA190107},
  timestamp = {Fri, 08 Nov 2019 13:52:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/GibertLMMP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/GibertMP19,
  author    = {Daniel Gibert and
               Carles Mateu and
               Jordi Planes},
  title     = {A Hierarchical Convolutional Neural Network for Malware Classification},
  booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest,
               Hungary, July 14-19, 2019},
  pages     = {1--8},
  year      = {2019},
  crossref  = {DBLP:conf/ijcnn/2019},
  url       = {https://doi.org/10.1109/IJCNN.2019.8852469},
  doi       = {10.1109/IJCNN.2019.8852469},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcnn/GibertMP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/AlsinetABFMP18,
  author    = {Teresa Alsinet and
               Josep Argelich and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Jordi Planes},
  title     = {An argumentative approach for discovering relevant opinions in Twitter
               with probabilistic valued relationships},
  journal   = {Pattern Recognition Letters},
  volume    = {105},
  pages     = {191--199},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.patrec.2017.07.004},
  doi       = {10.1016/j.patrec.2017.07.004},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/prl/AlsinetABFMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GibertMPV18,
  author    = {Daniel Gibert and
               Carles Mateu and
               Jordi Planes and
               Ramon Vicens},
  title     = {Classification of Malware by Using Structural Entropy on Convolutional
               Neural Networks},
  booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  pages     = {7759--7764},
  year      = {2018},
  crossref  = {DBLP:conf/aaai/2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16133},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GibertMPV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/GibertMP18,
  author    = {Daniel Gibert and
               Carles Mateu and
               Jordi Planes},
  title     = {An End-to-End Deep Learning Architecture for Classification of Malware's
               Binary Content},
  booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2018 - 27th
               International Conference on Artificial Neural Networks, Rhodes, Greece,
               October 4-7, 2018, Proceedings, Part {III}},
  pages     = {383--391},
  year      = {2018},
  crossref  = {DBLP:conf/icann/2018-3},
  url       = {https://doi.org/10.1007/978-3-030-01424-7\_38},
  doi       = {10.1007/978-3-030-01424-7\_38},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icann/GibertMP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/AlsinetABFMP17,
  author    = {Teresa Alsinet and
               Josep Argelich and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Jordi Planes},
  title     = {Weighted argumentation for analysis of discussions in Twitter},
  journal   = {Int. J. Approx. Reasoning},
  volume    = {85},
  pages     = {21--35},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ijar.2017.02.004},
  doi       = {10.1016/j.ijar.2017.02.004},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijar/AlsinetABFMP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/GibertBMPSV17,
  author    = {Daniel Gibert and
               Javier B{\'{e}}jar and
               Carles Mateu and
               Jordi Planes and
               Daniel Solis and
               Ramon Vicens},
  title     = {Convolutional Neural Networks for Classification of Malware Assembly
               Code},
  booktitle = {Recent Advances in Artificial Intelligence Research and Development
               - Proceedings of the 20th International Conference of the Catalan
               Association for Artificial Intelligence, Deltebre, Terres de l'Ebre,
               Spain, October 25-27, 2017},
  pages     = {221--226},
  year      = {2017},
  crossref  = {DBLP:conf/ccia/2017},
  url       = {https://doi.org/10.3233/978-1-61499-806-8-221},
  doi       = {10.3233/978-1-61499-806-8-221},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/GibertBMPSV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ArgelichBFMP16,
  author    = {Josep Argelich and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Jordi Planes},
  title     = {On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {77},
  number    = {1-2},
  pages     = {43--66},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10472-016-9502-1},
  doi       = {10.1007/s10472-016-9502-1},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/ArgelichBFMP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/FernandezMMS16,
  author    = {C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Raul Moral and
               Francina Sole{-}Mauri},
  title     = {A predictor model for the composting process on an industrial scale
               based on Markov processes},
  journal   = {Environmental Modelling and Software},
  volume    = {79},
  pages     = {156--166},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.envsoft.2016.02.007},
  doi       = {10.1016/j.envsoft.2016.02.007},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/envsoft/FernandezMMS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AlsinetABFMP16,
  author    = {Teresa Alsinet and
               Josep Argelich and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Jordi Planes},
  title     = {Support Analysis of Weighted Discussions in Twitter},
  booktitle = {Artificial Intelligence Research and Development - Proceedings of
               the 19th International Conference of the Catalan Association for Artificial
               Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016},
  pages     = {197--206},
  year      = {2016},
  crossref  = {DBLP:conf/ccia/2016},
  url       = {https://doi.org/10.3233/978-1-61499-696-5-197},
  doi       = {10.3233/978-1-61499-696-5-197},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/AlsinetABFMP16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/AlsinetBFGM15,
  author    = {Teresa Alsinet and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Francesc Guitart and
               Carles Mateu},
  title     = {Solving the Routing and Wavelength Assignment problem with conflict-driven
               {ASP} solvers},
  journal   = {{AI} Commun.},
  volume    = {28},
  number    = {1},
  pages     = {21--34},
  year      = {2015},
  url       = {https://doi.org/10.3233/AIC-140619},
  doi       = {10.3233/AIC-140619},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/AlsinetBFGM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/FernandezMMS15,
  author    = {C{\`{e}}sar Fern{\'{a}}ndez and
               Felip Many{\`{a}} and
               Carles Mateu and
               Francina Sole{-}Mauri},
  title     = {Approximate dynamic programming for automated vacuum waste collection
               systems},
  journal   = {Environmental Modelling and Software},
  volume    = {67},
  pages     = {128--137},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.envsoft.2015.01.013},
  doi       = {10.1016/j.envsoft.2015.01.013},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/envsoft/FernandezMMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/FernandezMMS14,
  author    = {C{\`{e}}sar Fern{\'{a}}ndez and
               Felip Many{\`{a}} and
               Carles Mateu and
               Francina Sole{-}Mauri},
  title     = {Modeling energy consumption in automated vacuum waste collection systems},
  journal   = {Environmental Modelling and Software},
  volume    = {56},
  pages     = {63--73},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.envsoft.2013.11.013},
  doi       = {10.1016/j.envsoft.2013.11.013},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/envsoft/FernandezMMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/AnsoteguiBFM13,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {On the hardness of solving edge matching puzzles as {SAT} or {CSP}
               problems},
  journal   = {Constraints},
  volume    = {18},
  number    = {1},
  pages     = {7--37},
  year      = {2013},
  url       = {https://doi.org/10.1007/s10601-012-9128-9},
  doi       = {10.1007/s10601-012-9128-9},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/AnsoteguiBFM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/BejarFMG13,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Francesc Guitart},
  title     = {Solving Routing and Wavelength Assignment Problem with Conflict-Driven
               {ASP} Solvers},
  booktitle = {Artificial Intelligence Research and Development - Proceedings of
               the 16th International Conference of the Catalan Association for Artificial
               Intelligence, Vic, Catalonia, Spain, October 23-25, 2013.},
  pages     = {60--63},
  year      = {2013},
  crossref  = {DBLP:conf/ccia/2013},
  url       = {https://doi.org/10.3233/978-1-61499-320-9-60},
  doi       = {10.3233/978-1-61499-320-9-60},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/BejarFMG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BejarFMV12,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Magda Valls},
  title     = {The Sudoku completion problem with rectangular hole pattern is NP-complete},
  journal   = {Discrete Mathematics},
  volume    = {312},
  number    = {22},
  pages     = {3306--3315},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.disc.2012.07.022},
  doi       = {10.1016/j.disc.2012.07.022},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dm/BejarFMV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BejarFMMSV12,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Felip Many{\`{a}} and
               Francina Sole{-}Mauri and
               David Vidal},
  title     = {The Automated Vacuum Waste Collection Optimization Problem},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada.},
  year      = {2012},
  crossref  = {DBLP:conf/aaai/2012},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4926},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/BejarFMMSV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BejarFMMS12,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Felip Many{\`{a}} and
               Carles Mateu and
               Francina Sole{-}Mauri},
  title     = {Optimizing Energy Consumption in Automated Vacuum Waste Collection
               Systems},
  booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  pages     = {291--298},
  year      = {2012},
  crossref  = {DBLP:conf/ictai/2012},
  url       = {https://doi.org/10.1109/ICTAI.2012.47},
  doi       = {10.1109/ICTAI.2012.47},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/BejarFMMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/AnsoteguiBFGM11,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carla P. Gomes and
               Carles Mateu},
  title     = {Generating highly balanced sudoku problems as hard problems},
  journal   = {J. Heuristics},
  volume    = {17},
  number    = {5},
  pages     = {589--614},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10732-010-9146-y},
  doi       = {10.1007/s10732-010-9146-y},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/heuristics/AnsoteguiBFGM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/ArgelichBFM11,
  author    = {Josep Argelich and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard
               MaxClique Problems},
  booktitle = {Artificial Intelligence Research and Development - Proceedings of
               the 14th International Conference of the Catalan Association for Artificial
               Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011},
  pages     = {21--30},
  year      = {2011},
  crossref  = {DBLP:conf/ccia/2011},
  url       = {https://doi.org/10.3233/978-1-60750-842-7-21},
  doi       = {10.3233/978-1-60750-842-7-21},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/ArgelichBFM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/BejarFGM11,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Francesc Guitart and
               Carles Mateu},
  title     = {Towards an Efficient Use of Resources in All-Optical Networks},
  booktitle = {Artificial Intelligence Research and Development - Proceedings of
               the 14th International Conference of the Catalan Association for Artificial
               Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011},
  pages     = {61--70},
  year      = {2011},
  crossref  = {DBLP:conf/ccia/2011},
  url       = {https://doi.org/10.3233/978-1-60750-842-7-61},
  doi       = {10.3233/978-1-60750-842-7-61},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/BejarFGM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AnsoteguiBFGM10,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Francesc Guitart and
               Carles Mateu},
  title     = {Solving Pseudo-Boolean Modularity Constraints},
  booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  pages     = {867--872},
  year      = {2010},
  crossref  = {DBLP:conf/ecai/2010},
  url       = {https://doi.org/10.3233/978-1-60750-606-5-867},
  doi       = {10.3233/978-1-60750-606-5-867},
  timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/AnsoteguiBFGM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BejarFMP09,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu and
               Nuria Pascual},
  title     = {Bounding the Phase Transition on Edge Matching Puzzles},
  booktitle = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
               21-23 May 2009, Naha, Okinawaw, Japan},
  pages     = {80--85},
  year      = {2009},
  crossref  = {DBLP:conf/ismvl/2009},
  url       = {https://doi.org/10.1109/ISMVL.2009.55},
  doi       = {10.1109/ISMVL.2009.55},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/BejarFMP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBFM08,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {Generating Hard {SAT/CSP} Instances Using Expander Graphs},
  booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages     = {1442--1443},
  year      = {2008},
  crossref  = {DBLP:conf/aaai/2008},
  url       = {http://www.aaai.org/Library/AAAI/2008/aaai08-229.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AnsoteguiBFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBFM08,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {How Hard is a Commercial Puzzle: the Eternity {II} Challenge},
  booktitle = {Artificial Intelligence Research and Development, Proceedings of the
               11th International Conference of the Catalan Association for Artificial
               Intelligence, {CCIA} 2008, October 22-24, 2008, Sant Mart{\'{\i}}
               d'Emp{\'{u}}ries, Spain},
  pages     = {99--108},
  year      = {2008},
  crossref  = {DBLP:conf/ccia/2008},
  url       = {https://doi.org/10.3233/978-1-58603-925-7-99},
  doi       = {10.3233/978-1-58603-925-7-99},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/AnsoteguiBFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBFM08,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {From High Girth Graphs to Hard Instances},
  booktitle = {Principles and Practice of Constraint Programming, 14th International
               Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  pages     = {298--312},
  year      = {2008},
  crossref  = {DBLP:conf/cp/2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1\_20},
  doi       = {10.1007/978-3-540-85958-1\_20},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AnsoteguiBFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBFM08a,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {Edge Matching Puzzles as Hard {SAT/CSP} Benchmarks},
  booktitle = {Principles and Practice of Constraint Programming, 14th International
               Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  pages     = {560--565},
  year      = {2008},
  crossref  = {DBLP:conf/cp/2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1\_42},
  doi       = {10.1007/978-3-540-85958-1\_42},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AnsoteguiBFM08a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/AnsoteguiBFM08,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {Hard {SAT} and {CSP} instances with Expander Graphs},
  booktitle = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/isaim/2008},
  url       = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0005\_a18638b99d87fa2805c7db3d4d3c8b9d.pdf},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/AnsoteguiBFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBFM07,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {On Balanced CSPs with High Treewidth},
  booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages     = {161--166},
  year      = {2007},
  crossref  = {DBLP:conf/aaai/2007},
  url       = {http://www.aaai.org/Library/AAAI/2007/aaai07-024.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AnsoteguiBFM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBFGM06,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carla P. Gomes and
               Carles Mateu},
  title     = {The Impact of Balancing on Problem Hardness in a Highly Structured
               Domain},
  booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
               and the Eighteenth Innovative Applications of Artificial Intelligence
               Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  pages     = {10--15},
  year      = {2006},
  crossref  = {DBLP:conf/aaai/2006},
  url       = {http://www.aaai.org/Library/AAAI/2006/aaai06-002.php},
  timestamp = {Wed, 06 Feb 2019 12:16:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AnsoteguiBFGM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BejarFM05,
  author    = {Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {Statistical Modelling of {CSP} Solving Algorithms Performance},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
               International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
               Proceedings},
  pages     = {861},
  year      = {2005},
  crossref  = {DBLP:conf/cp/2005},
  url       = {https://doi.org/10.1007/11564751\_99},
  doi       = {10.1007/11564751\_99},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/BejarFM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2019,
  editor    = {Jordi Sabater{-}Mir and
               Vicen{\c{c}} Torra and
               Isabel Aguil{\'{o}} and
               Manuel Gonz{\'{a}}lez Hidalgo},
  title     = {Artificial Intelligence Research and Development - Proceedings of
               the 22nd International Conference of the Catalan Association for Artificial
               Intelligence, {CCIA} 2019, Mallorca, Spain, 23-25 October 2019},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {319},
  publisher = {{IOS} Press},
  year      = {2019},
  url       = {http://ebooks.iospress.nl/volume/artificial-intelligence-research-and-development-proceedings-of-the-22nd-international-conference-of-the-catalan-association-for-artificial-intelligence},
  isbn      = {978-1-64368-014-9},
  timestamp = {Fri, 08 Nov 2019 13:52:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcnn/2019,
  title     = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest,
               Hungary, July 14-19, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8840768/proceeding},
  isbn      = {978-1-7281-1985-4},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcnn/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2018,
  editor    = {Sheila A. McIlraith and
               Kilian Q. Weinberger},
  title     = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
               (AAAI-18), the 30th innovative Applications of Artificial Intelligence
               (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
               Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
               2-7, 2018},
  publisher = {{AAAI} Press},
  year      = {2018},
  url       = {https://www.aaai.org/ocs/index.php/AAAI/AAAI18/schedConf/presentations},
  timestamp = {Tue, 23 Oct 2018 06:42:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icann/2018-3,
  editor    = {Vera Kurkov{\'{a}} and
               Yannis Manolopoulos and
               Barbara Hammer and
               Lazaros S. Iliadis and
               Ilias Maglogiannis},
  title     = {Artificial Neural Networks and Machine Learning - {ICANN} 2018 - 27th
               International Conference on Artificial Neural Networks, Rhodes, Greece,
               October 4-7, 2018, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11141},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-01424-7},
  doi       = {10.1007/978-3-030-01424-7},
  isbn      = {978-3-030-01423-0},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icann/2018-3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2017,
  editor    = {Isabel Aguil{\'{o}} and
               Ren{\'{e}} Alqu{\'{e}}zar and
               Cecilio Angulo and
               Alberto Ortiz and
               Joan Torrens},
  title     = {Recent Advances in Artificial Intelligence Research and Development
               - Proceedings of the 20th International Conference of the Catalan
               Association for Artificial Intelligence, Deltebre, Terres de l'Ebre,
               Spain, October 25-27, 2017},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {300},
  publisher = {{IOS} Press},
  year      = {2017},
  isbn      = {978-1-61499-805-1},
  timestamp = {Wed, 18 Oct 2017 12:58:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2016,
  editor    = {{\`{A}}ngela Nebot and
               Xavier Binefa and
               Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras},
  title     = {Artificial Intelligence Research and Development - Proceedings of
               the 19th International Conference of the Catalan Association for Artificial
               Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {288},
  publisher = {{IOS} Press},
  year      = {2016},
  isbn      = {978-1-61499-695-8},
  timestamp = {Fri, 11 May 2018 12:42:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2013,
  editor    = {Karina Gibert and
               Vicent J. Botti and
               Ram{\'{o}}n Reig Bola{\~{n}}o},
  title     = {Artificial Intelligence Research and Development - Proceedings of
               the 16th International Conference of the Catalan Association for Artificial
               Intelligence, Vic, Catalonia, Spain, October 23-25, 2013},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {256},
  publisher = {{IOS} Press},
  year      = {2013},
  isbn      = {978-1-61499-319-3},
  timestamp = {Tue, 20 Oct 2015 15:26:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012,
  editor    = {J{\"{o}}rg Hoffmann and
               Bart Selman},
  title     = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada},
  publisher = {{AAAI} Press},
  year      = {2012},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictai/2012,
  title     = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
               {ICTAI} 2012, Athens, Greece, November 7-9, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6493540/proceeding},
  isbn      = {978-1-4799-0227-9},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2011,
  editor    = {C{\`{e}}sar Fern{\'{a}}ndez and
               Hector Geffner and
               Felip Many{\`{a}}},
  title     = {Artificial Intelligence Research and Development - Proceedings of
               the 14th International Conference of the Catalan Association for Artificial
               Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {232},
  publisher = {{IOS} Press},
  year      = {2011},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=22981},
  isbn      = {978-1-60750-841-0},
  timestamp = {Tue, 20 Mar 2012 15:33:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2010,
  editor    = {Helder Coelho and
               Rudi Studer and
               Michael J. Wooldridge},
  title     = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
               Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {215},
  publisher = {{IOS} Press},
  year      = {2010},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17702},
  isbn      = {978-1-60750-605-8},
  timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2009,
  title     = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
               21-23 May 2009, Naha, Okinawaw, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5010354/proceeding},
  isbn      = {978-0-7695-3607-1},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
  editor    = {Dieter Fox and
               Carla P. Gomes},
  title     = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-368-3},
  timestamp = {Fri, 15 Aug 2008 11:13:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2008,
  editor    = {Teresa Alsinet and
               Josep Puyol{-}Gruart and
               Carme Torras},
  title     = {Artificial Intelligence Research and Development, Proceedings of the
               11th International Conference of the Catalan Association for Artificial
               Intelligence, {CCIA} 2008, October 22-24, 2008, Sant Mart{\'{\i}}
               d'Emp{\'{u}}ries, Spain},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {184},
  publisher = {{IOS} Press},
  year      = {2008},
  isbn      = {978-1-58603-925-7},
  timestamp = {Fri, 13 Feb 2009 14:33:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2008,
  editor    = {Peter J. Stuckey},
  title     = {Principles and Practice of Constraint Programming, 14th International
               Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5202},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1},
  doi       = {10.1007/978-3-540-85958-1},
  isbn      = {978-3-540-85957-4},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaim/2008,
  title     = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year      = {2008},
  url       = {http://isaim2008.unl.edu/index.php?page=proceedings},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2007,
  title     = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  publisher = {{AAAI} Press},
  year      = {2007},
  isbn      = {978-1-57735-323-2},
  timestamp = {Wed, 05 Sep 2007 08:24:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2006,
  title     = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
               and the Eighteenth Innovative Applications of Artificial Intelligence
               Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  publisher = {{AAAI} Press},
  year      = {2006},
  url       = {https://www.aaai.org/Conferences/AAAI/aaai06.php},
  timestamp = {Wed, 06 Feb 2019 12:16:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2005,
  editor    = {Peter van Beek},
  title     = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
               International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3709},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11564751},
  doi       = {10.1007/11564751},
  isbn      = {3-540-29238-1},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics