BibTeX records: Cèsar Fernández

download as .bib file

@article{DBLP:journals/ijcisys/VallsFV22,
  author       = {A{\"{\i}}da Valls and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Mateu Villaret},
  title        = {New Reasoning Models: Improving Optimisation and Decision Support
                  with the Management of Uncertainty and Constraints},
  journal      = {Int. J. Comput. Intell. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {107},
  year         = {2022},
  url          = {https://doi.org/10.1007/s44196-022-00151-z},
  doi          = {10.1007/S44196-022-00151-Z},
  timestamp    = {Thu, 05 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcisys/VallsFV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2021,
  editor       = {Mateu Villaret and
                  Teresa Alsinet and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  A{\"{\i}}da Valls},
  title        = {Artificial Intelligence Research and Development - Proceedings of
                  the 23rd International Conference of the Catalan Association for Artificial
                  Intelligence, {CCIA} 2021, Virtual Event, 20-22 October, 2021},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {339},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/FAIA339},
  doi          = {10.3233/FAIA339},
  isbn         = {978-1-64368-210-5},
  timestamp    = {Tue, 09 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/2021.bib},
  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 Recognit. Lett.},
  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    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/prl/AlsinetABFMP18.bib},
  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. Reason.},
  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    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/AlsinetABFMP17.bib},
  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    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/ArgelichBFMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/LopezMF16,
  author       = {Nacho L{\'{o}}pez and
                  Josep M. Miret and
                  C{\`{e}}sar Fern{\'{a}}ndez},
  title        = {Non existence of some mixed Moore graphs of diameter 2 using {SAT}},
  journal      = {Discret. Math.},
  volume       = {339},
  number       = {2},
  pages        = {589--596},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.disc.2015.10.001},
  doi          = {10.1016/J.DISC.2015.10.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/LopezMF16.bib},
  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      = {Environ. Model. Softw.},
  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    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/envsoft/FernandezMMS16.bib},
  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},
  editor       = {{\`{A}}ngela Nebot and
                  Xavier Binefa and
                  Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras},
  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},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {288},
  pages        = {197--206},
  publisher    = {{IOS} Press},
  year         = {2016},
  url          = {https://doi.org/10.3233/978-1-61499-696-5-197},
  doi          = {10.3233/978-1-61499-696-5-197},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/AlsinetABFMP16.bib},
  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    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/AlsinetBFGM15.bib},
  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      = {Environ. Model. Softw.},
  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    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/envsoft/FernandezMMS15.bib},
  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      = {Environ. Model. Softw.},
  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    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/envsoft/FernandezMMS14.bib},
  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 An Int. J.},
  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    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/AnsoteguiBFM13.bib},
  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},
  editor       = {Karina Gibert and
                  Vicent J. Botti and
                  Ram{\'{o}}n Reig Bola{\~{n}}o},
  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},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {256},
  pages        = {60--63},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-320-9-60},
  doi          = {10.3233/978-1-61499-320-9-60},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/BejarFMG13.bib},
  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      = {Discret. Math.},
  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    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/BejarFMV12.bib},
  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},
  editor       = {J{\"{o}}rg Hoffmann and
                  Bart Selman},
  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},
  pages        = {264--266},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/aaai.v26i1.8167},
  doi          = {10.1609/AAAI.V26I1.8167},
  timestamp    = {Mon, 04 Sep 2023 15:56:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BejarFMMSV12.bib},
  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},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICTAI.2012.47},
  doi          = {10.1109/ICTAI.2012.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/BejarFMMS12.bib},
  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    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/heuristics/AnsoteguiBFGM11.bib},
  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},
  editor       = {C{\`{e}}sar Fern{\'{a}}ndez and
                  Hector Geffner and
                  Felip Many{\`{a}}},
  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},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {232},
  pages        = {21--30},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-842-7-21},
  doi          = {10.3233/978-1-60750-842-7-21},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/ArgelichBFM11.bib},
  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},
  editor       = {C{\`{e}}sar Fern{\'{a}}ndez and
                  Hector Geffner and
                  Felip Many{\`{a}}},
  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},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {232},
  pages        = {61--70},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-842-7-61},
  doi          = {10.3233/978-1-60750-842-7-61},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/BejarFGM11.bib},
  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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/BejarFG10,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Francesc Guitart},
  editor       = {Ren{\'{e}} Alqu{\'{e}}zar and
                  Antonio Moreno and
                  Josep Aguilar{-}Martin},
  title        = {Encoding Basic Arithmetic Operations for SAT-Solvers},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 13th International Conference of the Catalan Association for Artificial
                  Intelligence, l'Espluga de Francol{\'{\i}}, Tarragona, Spain,
                  20-22 October 2010},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {210},
  pages        = {239--248},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-643-0-239},
  doi          = {10.3233/978-1-60750-643-0-239},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/BejarFG10.bib},
  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},
  editor       = {Helder Coelho and
                  Rudi Studer and
                  Michael J. Wooldridge},
  title        = {Solving Pseudo-Boolean Modularity Constraints},
  booktitle    = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
                  Lisbon, Portugal, August 16-20, 2010, Proceedings},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {215},
  pages        = {867--872},
  publisher    = {{IOS} Press},
  year         = {2010},
  url          = {https://doi.org/10.3233/978-1-60750-606-5-867},
  doi          = {10.3233/978-1-60750-606-5-867},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/AnsoteguiBFGM10.bib},
  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},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISMVL.2009.55},
  doi          = {10.1109/ISMVL.2009.55},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/BejarFMP09.bib},
  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},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  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},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-229.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AnsoteguiBFM08.bib},
  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},
  editor       = {Teresa Alsinet and
                  Josep Puyol{-}Gruart and
                  Carme Torras},
  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},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {184},
  pages        = {99--108},
  publisher    = {{IOS} Press},
  year         = {2008},
  url          = {https://doi.org/10.3233/978-1-58603-925-7-99},
  doi          = {10.3233/978-1-58603-925-7-99},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccia/AnsoteguiBFM08.bib},
  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},
  editor       = {Peter J. Stuckey},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5202},
  pages        = {298--312},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85958-1\_20},
  doi          = {10.1007/978-3-540-85958-1\_20},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/AnsoteguiBFM08.bib},
  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},
  editor       = {Peter J. Stuckey},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {5202},
  pages        = {560--565},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85958-1\_42},
  doi          = {10.1007/978-3-540-85958-1\_42},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/AnsoteguiBFM08a.bib},
  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},
  url          = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0005\_a18638b99d87fa2805c7db3d4d3c8b9d.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/AnsoteguiBFM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BejarMCFG07,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  Felip Many{\`{a}} and
                  Alba Cabiscol and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Carla P. Gomes},
  title        = {Regular-SAT: {A} many-valued approach to solving combinatorial problems},
  journal      = {Discret. Appl. Math.},
  volume       = {155},
  number       = {12},
  pages        = {1613--1626},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.dam.2005.10.020},
  doi          = {10.1016/J.DAM.2005.10.020},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/BejarMCFG07.bib},
  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},
  publisher    = {{AAAI} Press},
  year         = {2007},
  url          = {http://www.aaai.org/Library/AAAI/2007/aaai07-024.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AnsoteguiBFM07.bib},
  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},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/AAAI/2006/aaai06-002.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AnsoteguiBFGM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BejarDFGKSV05,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  Carmel Domshlak and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Carla P. Gomes and
                  Bhaskar Krishnamachari and
                  Bart Selman and
                  Magda Valls},
  title        = {Sensor networks and distributed {CSP:} communication, computation
                  and complexity},
  journal      = {Artif. Intell.},
  volume       = {161},
  number       = {1-2},
  pages        = {117--147},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.artint.2004.09.002},
  doi          = {10.1016/J.ARTINT.2004.09.002},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/BejarDFGKSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GomesFSB05,
  author       = {Carla P. Gomes and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Bart Selman and
                  Christian Bessi{\`{e}}re},
  title        = {Statistical Regimes Across Constrainedness Regions},
  journal      = {Constraints An Int. J.},
  volume       = {10},
  number       = {4},
  pages        = {317--337},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10601-005-2807-z},
  doi          = {10.1007/S10601-005-2807-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/GomesFSB05.bib},
  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},
  editor       = {Peter van Beek},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {861},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_99},
  doi          = {10.1007/11564751\_99},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BejarFM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SmithGF05,
  author       = {Casey Smith and
                  Carla P. Gomes and
                  C{\`{e}}sar Fern{\'{a}}ndez},
  editor       = {Leslie Pack Kaelbling and
                  Alessandro Saffiotti},
  title        = {Streamlining Local Search for Spatially Balanced Latin Squares},
  booktitle    = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
                  on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
                  5, 2005},
  pages        = {1539--1540},
  publisher    = {Professional Book Center},
  year         = {2005},
  url          = {http://ijcai.org/Proceedings/05/Papers/post-0460.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SmithGF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiVDFM04,
  author       = {Carlos Ans{\'{o}}tegui and
                  Alvaro del Val and
                  Iv{\'{a}}n Dot{\'{u}} and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Felip Many{\`{a}}},
  editor       = {Deborah L. McGuinness and
                  George Ferguson},
  title        = {Modeling Choices in Quasigroup Completion: {SAT} vs. {CSP}},
  booktitle    = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
                  Sixteenth Conference on Innovative Applications of Artificial Intelligence,
                  July 25-29, 2004, San Jose, California, {USA}},
  pages        = {137--142},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2004},
  url          = {http://www.aaai.org/Library/AAAI/2004/aaai04-022.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AnsoteguiVDFM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GomesFSB04,
  author       = {Carla P. Gomes and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Bart Selman and
                  Christian Bessiere},
  editor       = {Mark Wallace},
  title        = {Statistical Regimes Across Constrainedness Regions},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
                  International Conference, {CP} 2004, Toronto, Canada, September 27
                  - October 1, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3258},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30201-8\_6},
  doi          = {10.1007/978-3-540-30201-8\_6},
  timestamp    = {Fri, 27 Mar 2020 09:00:36 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GomesFSB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/AlsinetABFM03,
  author       = {Teresa Alsinet and
                  Carlos Ans{\'{o}}tegui and
                  Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Felip Many{\`{a}}},
  title        = {Automated monitoring of medical protocols: a secure and distributed
                  architecture},
  journal      = {Artif. Intell. Medicine},
  volume       = {27},
  number       = {3},
  pages        = {367--392},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0933-3657(03)00010-1},
  doi          = {10.1016/S0933-3657(03)00010-1},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/artmed/AlsinetABFM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/telsys/KrishnamachariWBF03,
  author       = {Bhaskar Krishnamachari and
                  Stephen B. Wicker and
                  Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez},
  title        = {On the Complexity of Distributed Self-Configuration in Wireless Networks},
  journal      = {Telecommun. Syst.},
  volume       = {22},
  number       = {1-4},
  pages        = {33--59},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023426501170},
  doi          = {10.1023/A:1023426501170},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/telsys/KrishnamachariWBF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BejarDFGSV03,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  Carmel Domshlak and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Carla P. Gomes and
                  Bart Selman and
                  Magda Valls},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Grid-based SensorDCSP},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {1359--1361},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/198.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BejarDFGSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AlsinetBCFM02,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Alba Cabiscol and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Felip Many{\`{a}}},
  editor       = {M. Teresa Escrig and
                  Francisco Toledo and
                  Elisabet Golobardes},
  title        = {Minimal and Redundant {SAT} Encodings for the All-Interval-Series
                  Problem},
  booktitle    = {Topics in Artificial Intelligence, 5th Catalonian Conference on AI,
                  {CCIA} 2002, Castell{\'{o}}n, Spain, October 24-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2504},
  pages        = {139--144},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36079-4\_12},
  doi          = {10.1007/3-540-36079-4\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ccia/AlsinetBCFM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FernandezBKG02,
  author       = {C{\`{e}}sar Fern{\'{a}}ndez and
                  Ram{\'{o}}n B{\'{e}}jar and
                  Bhaskar Krishnamachari and
                  Carla P. Gomes},
  editor       = {Pascal Van Hentenryck},
  title        = {Communication and Computation in Distributed {CSP} Algorithms},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
                  International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2470},
  pages        = {664--679},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46135-3\_44},
  doi          = {10.1007/3-540-46135-3\_44},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FernandezBKG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/BejarCFMG01,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  Alba Cabiscol and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Felip Many{\`{a}} and
                  Carla P. Gomes},
  title        = {Extending the Reach of {SAT} with Many-Valued Logics},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {9},
  pages        = {392--407},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0653(04)00336-1},
  doi          = {10.1016/S1571-0653(04)00336-1},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/BejarCFMG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BejarCFMG01,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  Alba Cabiscol and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Felip Many{\`{a}} and
                  Carla P. Gomes},
  editor       = {Toby Walsh},
  title        = {Capturing Structure with Satisfiability},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
                  International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
                  December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2239},
  pages        = {137--152},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45578-7\_10},
  doi          = {10.1007/3-540-45578-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BejarCFMG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/AlsinetBFM00,
  author       = {Teresa Alsinet and
                  Ram{\'{o}}n B{\'{e}}jar and
                  C{\`{e}}sar Fern{\'{a}}ndez and
                  Felip Many{\`{a}}},
  editor       = {Carles Sierra and
                  Maria L. Gini and
                  Jeffrey S. Rosenschein},
  title        = {A Multi-agent system architecture for monitoring medical protocols},
  booktitle    = {Proceedings of the Fourth International Conference on Autonomous Agents,
                  {AGENTS} 2000, Barcelona, Catalonia, Spain, June 3-7, 2000},
  pages        = {499--505},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/336595.337580},
  doi          = {10.1145/336595.337580},
  timestamp    = {Tue, 06 Nov 2018 11:07:01 +0100},
  biburl       = {https://dblp.org/rec/conf/agents/AlsinetBFM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/broadband/FernandezS99,
  author       = {C{\`{e}}sar Fern{\'{a}}ndez and
                  Sebasti{\`{a}} Sallent},
  editor       = {Danny H. K. Tsang and
                  Paul J. K{\"{u}}hn},
  title        = {Evaluation of Allocation Policies on Hybrid Fiber-Coax Broadband Access
                  Networks for Contention-Type Traffic},
  booktitle    = {Broadband Communications: Convergence of Network Technologies, {IFIP}
                  {TC6} {WG6.2} Fifth International Conference on Broadband Communications
                  {(BC} '99), November 10-12, 1999, Hong Kong},
  series       = {{IFIP} Conference Proceedings},
  volume       = {159},
  pages        = {329--338},
  publisher    = {Kluwer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-0-387-35579-5\_29},
  doi          = {10.1007/978-0-387-35579-5\_29},
  timestamp    = {Fri, 18 Nov 2022 15:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/broadband/FernandezS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics