Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carlos Ansótegui
@article{DBLP:journals/jpdc/AnsoteguiT24,
author = {Carlos Ans{\'{o}}tegui and
Eduard Torres},
title = {Effectively computing high strength mixed covering arrays with constraints},
journal = {J. Parallel Distributed Comput.},
volume = {185},
pages = {104791},
year = {2024},
url = {https://doi.org/10.1016/j.jpdc.2023.104791},
doi = {10.1016/J.JPDC.2023.104791},
timestamp = {Sun, 25 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/AnsoteguiT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-00182,
author = {Carlos Ans{\'{o}}tegui and
Jordi Levy},
title = {SAT, Gadgets, Max2XOR, and Quantum Annealers},
journal = {CoRR},
volume = {abs/2403.00182},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.00182},
doi = {10.48550/ARXIV.2403.00182},
eprinttype = {arXiv},
eprint = {2403.00182},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-00182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/AlosAT23,
author = {Josep Al{\`{o}}s and
Carlos Ans{\'{o}}tegui and
Eduard Torres},
title = {Interpretable decision trees through MaxSAT},
journal = {Artif. Intell. Rev.},
volume = {56},
number = {8},
pages = {8303--8323},
year = {2023},
url = {https://doi.org/10.1007/s10462-022-10377-0},
doi = {10.1007/S10462-022-10377-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/air/AlosAT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/SerramiaRLRBBWA23,
author = {Marc Serramia and
Manel Rodriguez{-}Soto and
Maite L{\'{o}}pez{-}S{\'{a}}nchez and
Juan A. Rodr{\'{\i}}guez{-}Aguilar and
Filippo Bistaffa and
Paula Boddington and
Michael J. Wooldridge and
Carlos Ans{\'{o}}tegui},
title = {Encoding Ethics to Compute Value-Aligned Norms},
journal = {Minds Mach.},
volume = {33},
number = {4},
pages = {761--790},
year = {2023},
url = {https://doi.org/10.1007/s11023-023-09649-7},
doi = {10.1007/S11023-023-09649-7},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/SerramiaRLRBBWA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBL23,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Ismael Sanz and
Raquel Ros and
Jordi Nin},
title = {On the Density of States of Boolean Formulas},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 25th International Conference of the Catalan Association for Artificial
Intelligence, {CCIA} 2023, M{\'{o}}n Sant Benet, Spain, 25-27
October 2023},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {375},
pages = {369--382},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230707},
doi = {10.3233/FAIA230707},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AlosAST23,
author = {Josep Al{\`{o}}s and
Carlos Ans{\'{o}}tegui and
Josep M. Salvia and
Eduard Torres},
editor = {Roland H. C. Yap},
title = {Exploiting Configurations of MaxSAT Solvers},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {7:1--7:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.7},
doi = {10.4230/LIPICS.CP.2023.7},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AlosAST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08134,
author = {Carlos Ans{\'{o}}tegui and
Eduard Torres},
title = {A Benchmark Generator for Combinatorial Testing},
journal = {CoRR},
volume = {abs/2301.08134},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.08134},
doi = {10.48550/ARXIV.2301.08134},
eprinttype = {arXiv},
eprint = {2301.08134},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-08134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07635,
author = {Josep Al{\`{o}}s and
Carlos Ans{\'{o}}tegui and
Josep M. Salvia and
Eduard Torres},
title = {Exploiting Configurations of MaxSAT Solvers},
journal = {CoRR},
volume = {abs/2306.07635},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07635},
doi = {10.48550/ARXIV.2306.07635},
eprinttype = {arXiv},
eprint = {2306.07635},
timestamp = {Sat, 17 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/AnsoteguiBL22,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
title = {Scale-Free Random {SAT} Instances},
journal = {Algorithms},
volume = {15},
number = {6},
pages = {219},
year = {2022},
url = {https://doi.org/10.3390/a15060219},
doi = {10.3390/A15060219},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/AnsoteguiBL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AnsoteguiPS22,
author = {Carlos Ans{\'{o}}tegui and
Josep Pon and
Meinolf Sellmann},
title = {Boosting evolutionary algorithm configuration},
journal = {Ann. Math. Artif. Intell.},
volume = {90},
number = {7-9},
pages = {715--734},
year = {2022},
url = {https://doi.org/10.1007/s10472-020-09726-y},
doi = {10.1007/S10472-020-09726-Y},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/AnsoteguiPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/AnsoteguiMOST22,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}} and
Jesus Ojeda and
Josep M. Salvia and
Eduard Torres},
title = {Incomplete MaxSAT approaches for combinatorial testing},
journal = {J. Heuristics},
volume = {28},
number = {4},
pages = {377--431},
year = {2022},
url = {https://doi.org/10.1007/s10732-022-09495-3},
doi = {10.1007/S10732-022-09495-3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/AnsoteguiMOST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiL22,
author = {Carlos Ans{\'{o}}tegui and
Jordi Levy},
editor = {Atia Cort{\'{e}}s and
Francisco Grimaldo and
Tommaso Flaminio},
title = {Yet Another (Fake) Proof of P=NP},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 24th International Conference of the Catalan Association for Artificial
Intelligence, {CCIA} 2022, Sitges, Spain, 19-21 October 2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {356},
pages = {25--34},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220310},
doi = {10.3233/FAIA220310},
timestamp = {Thu, 20 Oct 2022 11:47:21 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AlosAST22,
author = {Josep Alos and
Carlos Ans{\'{o}}tegui and
Josep M. Salvia and
Eduard Torres},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {OptiLog {V2:} Model, Solve, Tune and Run},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {25:1--25:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.25},
doi = {10.4230/LIPICS.SAT.2022.25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AlosAST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-01774,
author = {Carlos Ans{\'{o}}tegui and
Jordi Levy},
title = {Reducing {SAT} to Max2XOR},
journal = {CoRR},
volume = {abs/2204.01774},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.01774},
doi = {10.48550/ARXIV.2204.01774},
eprinttype = {arXiv},
eprint = {2204.01774},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-01774.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiOT21,
author = {Carlos Ans{\'{o}}tegui and
Jesus Ojeda and
Eduard Torres},
editor = {Laurent D. Michel},
title = {Building High Strength Mixed Covering Arrays with Constraints},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {12:1--12:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.12},
doi = {10.4230/LIPICS.CP.2021.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiOT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AnsoteguiL21,
author = {Carlos Ans{\'{o}}tegui and
Jordi Levy},
editor = {Zhi{-}Hua Zhou},
title = {Reducing {SAT} to Max2SAT},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1367--1373},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/189},
doi = {10.24963/IJCAI.2021/189},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AnsoteguiL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/AnsoteguiSST21,
author = {Carlos Ans{\'{o}}tegui and
Meinolf Sellmann and
Tapan Shah and
Kevin Tierney},
editor = {Dimitris E. Simos and
Panos M. Pardalos and
Ilias S. Kotsireas},
title = {Learning to Optimize Black-Box Functions with Extreme Limits on the
Number of Function Evaluations},
booktitle = {Learning and Intelligent Optimization - 15th International Conference,
{LION} 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12931},
pages = {7--24},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92121-7\_2},
doi = {10.1007/978-3-030-92121-7\_2},
timestamp = {Mon, 13 Dec 2021 16:43:05 +0100},
biburl = {https://dblp.org/rec/conf/lion/AnsoteguiSST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiOPPST21,
author = {Carlos Ans{\'{o}}tegui and
Jesus Ojeda and
Ant{\'{o}}nio Pacheco and
Josep Pon and
Josep M. Salvia and
Eduard Torres},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {OptiLog: {A} Framework for SAT-based Systems},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {1--10},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_1},
doi = {10.1007/978-3-030-80223-3\_1},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiOPPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiPST21,
author = {Carlos Ans{\'{o}}tegui and
Josep Pon and
Meinolf Sellmann and
Kevin Tierney},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {PyDGGA: Distributed {GGA} for Automatic Configuration},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {11--20},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_2},
doi = {10.1007/978-3-030-80223-3\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10321,
author = {Carlos Ans{\'{o}}tegui and
Meinolf Sellmann and
Tapan Shah and
Kevin Tierney},
title = {Learning How to Optimize Black-Box Functions With Extreme Limits on
the Number of Function Evaluations},
journal = {CoRR},
volume = {abs/2103.10321},
year = {2021},
url = {https://arxiv.org/abs/2103.10321},
eprinttype = {arXiv},
eprint = {2103.10321},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-12552,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}} and
Jesus Ojeda and
Josep M. Salvia and
Eduard Torres},
title = {Incomplete MaxSAT Approaches for Combinatorial Testing},
journal = {CoRR},
volume = {abs/2105.12552},
year = {2021},
url = {https://arxiv.org/abs/2105.12552},
eprinttype = {arXiv},
eprint = {2105.12552},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-12552.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-13854,
author = {Josep Alos and
Carlos Ans{\'{o}}tegui and
Eduard Torres},
title = {Learning Optimal Decision Trees Using MaxSAT},
journal = {CoRR},
volume = {abs/2110.13854},
year = {2021},
url = {https://arxiv.org/abs/2110.13854},
eprinttype = {arXiv},
eprint = {2110.13854},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-13854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AnsoteguiBGLS19,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy and
Laurent Simon},
title = {Community Structure in Industrial {SAT} Instances},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {443--472},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11741},
doi = {10.1613/JAIR.1.11741},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AnsoteguiBGLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBL19,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Jordi Sabater{-}Mir and
Vicen{\c{c}} Torra and
Isabel Aguil{\'{o}} and
Manuel Gonz{\'{a}}lez Hidalgo},
title = {Phase Transition in Realistic Random {SAT} Models},
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},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {319},
pages = {213--222},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190126},
doi = {10.3233/FAIA190126},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBCDEMN19,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Jordi Coll and
Nguyen Dang and
Juan Luis Esteban and
Ian Miguel and
Peter Nightingale and
Andr{\'{a}}s Z. Salamon and
Josep Suy and
Mateu Villaret},
editor = {Thomas Schiex and
Simon de Givry},
title = {Automatic Detection of At-Most-One and Exactly-One Relations for Improved
{SAT} Encodings of Pseudo-Boolean Constraints},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {20--36},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_2},
doi = {10.1007/978-3-030-30048-7\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBCDEMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aies/SerramiaLRMWA18,
author = {Marc Serramia and
Maite L{\'{o}}pez{-}S{\'{a}}nchez and
Juan A. Rodr{\'{\i}}guez{-}Aguilar and
Javier Morales and
Michael J. Wooldridge and
Carlos Ans{\'{o}}tegui},
editor = {Jason Furman and
Gary E. Marchant and
Huw Price and
Francesca Rossi},
title = {Exploiting Moral Values to Choose the Right Norms},
booktitle = {Proceedings of the 2018 {AAAI/ACM} Conference on AI, Ethics, and Society,
{AIES} 2018, New Orleans, LA, USA, February 02-03, 2018},
pages = {264--270},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278721.3278735},
doi = {10.1145/3278721.3278735},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aies/SerramiaLRMWA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SerramiaLRRWMA18,
author = {Marc Serramia and
Maite L{\'{o}}pez{-}S{\'{a}}nchez and
Juan A. Rodr{\'{\i}}guez{-}Aguilar and
Manel Rodriguez{-}Soto and
Michael J. Wooldridge and
Javier Morales and
Carlos Ans{\'{o}}tegui},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Moral Values in Norm Decision Making},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1294--1302},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237891},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/SerramiaLRRWMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiST18,
author = {Carlos Ans{\'{o}}tegui and
Meinolf Sellmann and
Kevin Tierney},
editor = {John N. Hooker},
title = {Self-configuring Cost-Sensitive Hierarchical Clustering with Recourse},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {524--534},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_34},
doi = {10.1007/978-3-319-98334-9\_34},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/AnsoteguiHPST18,
author = {Carlos Ans{\'{o}}tegui and
Britta Heymann and
Josep Pon and
Meinolf Sellmann and
Kevin Tierney},
editor = {Roberto Battiti and
Mauro Brunato and
Ilias S. Kotsireas and
Panos M. Pardalos},
title = {Hyper-Reactive Tabu Search for MaxSAT},
booktitle = {Learning and Intelligent Optimization - 12th International Conference,
{LION} 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11353},
pages = {309--325},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05348-2\_27},
doi = {10.1007/978-3-030-05348-2\_27},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lion/AnsoteguiHPST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AnsoteguiG17,
author = {Carlos Ans{\'{o}}tegui and
Joel Gab{\`{a}}s},
title = {{WPM3:} An (in)complete algorithm for weighted partial MaxSAT},
journal = {Artif. Intell.},
volume = {250},
pages = {37--57},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.05.003},
doi = {10.1016/J.ARTINT.2017.05.003},
timestamp = {Mon, 14 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AnsoteguiG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AnsoteguiBGL17,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy},
title = {Structure features for {SAT} instances classification},
journal = {J. Appl. Log.},
volume = {23},
pages = {27--39},
year = {2017},
url = {https://doi.org/10.1016/j.jal.2016.11.004},
doi = {10.1016/J.JAL.2016.11.004},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/AnsoteguiBGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiPST17,
author = {Carlos Ans{\'{o}}tegui and
Josep Pon and
Meinolf Sellmann and
Kevin Tierney},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Reactive Dialectic Search Portfolios for MaxSAT},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {765--772},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10660},
doi = {10.1609/AAAI.V31I1.10660},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiPST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AnsoteguiGMS16,
author = {Carlos Ans{\'{o}}tegui and
Joel Gab{\`{a}}s and
Yuri Malitsky and
Meinolf Sellmann},
title = {MaxSAT by improved instance-specific algorithm configuration},
journal = {Artif. Intell.},
volume = {235},
pages = {26--39},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2015.12.006},
doi = {10.1016/J.ARTINT.2015.12.006},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AnsoteguiGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/AnsoteguiBMV16,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Felip Many{\`{a}} and
Mateu Villaret},
title = {Automated theorem provers for multiple-valued logics with satisfiability
modulo theory solvers},
journal = {Fuzzy Sets Syst.},
volume = {292},
pages = {32--48},
year = {2016},
url = {https://doi.org/10.1016/j.fss.2015.04.011},
doi = {10.1016/J.FSS.2015.04.011},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/AnsoteguiBMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/AnsoteguiGL16,
author = {Carlos Ans{\'{o}}tegui and
Joel Gab{\`{a}}s and
Jordi Levy},
title = {Exploiting subproblem optimization in SAT-based MaxSAT algorithms},
journal = {J. Heuristics},
volume = {22},
number = {1},
pages = {1--53},
year = {2016},
url = {https://doi.org/10.1007/s10732-015-9300-7},
doi = {10.1007/S10732-015-9300-7},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/AnsoteguiGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnsoteguiBGL16,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy},
title = {Community Structure in Industrial {SAT} Instances},
journal = {CoRR},
volume = {abs/1606.03329},
year = {2016},
url = {http://arxiv.org/abs/1606.03329},
eprinttype = {arXiv},
eprint = {1606.03329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AnsoteguiBGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/AnsoteguiBMV15,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Felip Many{\`{a}} and
Mateu Villaret},
title = {{SAT} and {SMT} Technology for Many-Valued Logics},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {24},
number = {1-4},
pages = {151--172},
year = {2015},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-151-172/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/AnsoteguiBMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBGL15,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy},
editor = {Eva Armengol and
Dion{\'{\i}}s Boixader and
Francisco Grimaldo},
title = {On the Classification of Industrial {SAT} Families},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 18th International Conference of the Catalan Association for Artificial
Intelligence, Valencia, Catalonia, Spain, October 21-23, 2015},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {277},
pages = {163--172},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-578-4-163},
doi = {10.3233/978-1-61499-578-4-163},
timestamp = {Wed, 10 Mar 2021 08:33:55 +0100},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AnsoteguiDG15,
author = {Carlos Ans{\'{o}}tegui and
Fr{\'{e}}d{\'{e}}ric Didier and
Joel Gab{\`{a}}s},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Exploiting the Structure of Unsatisfiable Cores in MaxSAT},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {283--289},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/046},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AnsoteguiDG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AnsoteguiMSST15,
author = {Carlos Ans{\'{o}}tegui and
Yuri Malitsky and
Horst Samulowitz and
Meinolf Sellmann and
Kevin Tierney},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Model-Based Genetic Algorithms for Algorithm Configuration},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {733--739},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/109},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AnsoteguiMSST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiGLS15,
author = {Carlos Ans{\'{o}}tegui and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy and
Laurent Simon},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Using Community Structure to Detect Relevant Learnt Clauses},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {238--254},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_18},
doi = {10.1007/978-3-319-24318-4\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiGLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiMS14,
author = {Carlos Ans{\'{o}}tegui and
Yuri Malitsky and
Meinolf Sellmann},
editor = {Carla E. Brodley and
Peter Stone},
title = {MaxSAT by Improved Instance-Specific Algorithm Configuration},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2594--2600},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9128},
doi = {10.1609/AAAI.V28I1.9128},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AnsoteguiBGL14,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {The Fractal Dimension of {SAT} Formulas},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {107--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_8},
doi = {10.1007/978-3-319-08587-6\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/AnsoteguiBGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AnsoteguiBL13,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
title = {SAT-based MaxSAT algorithms},
journal = {Artif. Intell.},
volume = {196},
pages = {77--105},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2013.01.002},
doi = {10.1016/J.ARTINT.2013.01.002},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AnsoteguiBL13.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}
}
@article{DBLP:journals/constraints/AnsoteguiBPSV13,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Miquel Palah{\'{\i}} and
Josep Suy and
Mateu Villaret},
title = {Solving weighted CSPs with meta-constraints by reformulation into
satisfiability modulo theories},
journal = {Constraints An Int. J.},
volume = {18},
number = {2},
pages = {236--268},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9131-1},
doi = {10.1007/S10601-012-9131-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/AnsoteguiBPSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/AnsoteguiBLM13,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
title = {Resolution procedures for multiple-valued optimization},
journal = {Inf. Sci.},
volume = {227},
pages = {43--59},
year = {2013},
url = {https://doi.org/10.1016/j.ins.2012.12.004},
doi = {10.1016/J.INS.2012.12.004},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/AnsoteguiBLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiIMJ13,
author = {Carlos Ans{\'{o}}tegui and
Idelfonso Izquierdo and
Felip Many{\`{a}} and
Jos{\'{e}} Torres{-}Jim{\'{e}}nez},
editor = {Karina Gibert and
Vicent J. Botti and
Ram{\'{o}}n Reig Bola{\~{n}}o},
title = {A Max-SAT-Based Approach to Constructing Optimal Covering Arrays},
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 = {51--59},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-320-9-51},
doi = {10.3233/978-1-61499-320-9-51},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiIMJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBGL13,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Joel Gab{\`{a}}s and
Jordi Levy},
editor = {Christian Schulte},
title = {Improving {WPM2} for (Weighted) Partial MaxSAT},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {117--132},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_12},
doi = {10.1007/978-3-642-40627-0\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AnsoteguiG13,
author = {Carlos Ans{\'{o}}tegui and
Joel Gab{\`{a}}s},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {Solving (Weighted) Partial MaxSAT with {ILP}},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {403--409},
publisher = {Springer},
year = {2013},
url = {http://www.cis.cornell.edu/ics/cpaior2013/pdfs/ansotegui.pdf},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/AnsoteguiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnsoteguiBGL13,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy},
title = {The Fractal Dimension of {SAT} Formulas},
journal = {CoRR},
volume = {abs/1308.5046},
year = {2013},
url = {http://arxiv.org/abs/1308.5046},
eprinttype = {arXiv},
eprint = {1308.5046},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AnsoteguiBGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBLL12,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Chu Min Li},
editor = {David Ria{\~{n}}o and
Eva Onaindia and
Miguel Cazorla},
title = {Analysis and Generation of Pseudo-Industrial MaxSAT Instances},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 15th International Conference of the Catalan Association for Artificial
Intelligence, Alicante, Spain, October 24-26, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {248},
pages = {173--184},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-139-7-173},
doi = {10.3233/978-1-61499-139-7-173},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiLMZ12,
author = {Carlos Ans{\'{o}}tegui and
Chu Min Li and
Felip Many{\`{a}} and
Zhu Zhu},
editor = {David Ria{\~{n}}o and
Eva Onaindia and
Miguel Cazorla},
title = {A SAT-Based Approach to MinSAT},
booktitle = {Artificial Intelligence Research and Development - Proceedings of
the 15th International Conference of the Catalan Association for Artificial
Intelligence, Alicante, Spain, October 24-26, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {248},
pages = {185--189},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-139-7-185},
doi = {10.3233/978-1-61499-139-7-185},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiLMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBGL12,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Joel Gab{\`{a}}s and
Jordi Levy},
editor = {Michela Milano},
title = {Improving SAT-Based Weighted MaxSAT Solvers},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {86--101},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_9},
doi = {10.1007/978-3-642-33558-7\_9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AnsoteguiBMV12,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Felip Many{\`{a}} and
Mateu Villaret},
editor = {D. Michael Miller and
Vincent C. Gaudet},
title = {Building Automated Theorem Provers for Infinitely-Valued Logics with
Satisfiability Modulo Theory Solvers},
booktitle = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2012, Victoria, BC, Canada, May 14-16, 2012},
pages = {25--30},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISMVL.2012.63},
doi = {10.1109/ISMVL.2012.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AnsoteguiBMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiGL12,
author = {Carlos Ans{\'{o}}tegui and
Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jordi Levy},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {The Community Structure of {SAT} Formulas},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {410--423},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_31},
doi = {10.1007/978-3-642-31612-8\_31},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiGL12.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/AnsoteguiL11,
author = {Carlos Ans{\'{o}}tegui and
Jordi Levy},
editor = {C{\`{e}}sar Fern{\'{a}}ndez and
Hector Geffner and
Felip Many{\`{a}}},
title = {On the Modularity of Industrial {SAT} Instances},
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 = {11--20},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-842-7-11},
doi = {10.3233/978-1-60750-842-7-11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AnsoteguiBMV11,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Felip Many{\`{a}} and
Mateu Villaret},
editor = {Jaakko Astola and
Radomir S. Stankovic},
title = {Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic},
booktitle = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2011, Tuusula, Finland, May 23-25, 2011},
pages = {230--235},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISMVL.2011.53},
doi = {10.1109/ISMVL.2011.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AnsoteguiBMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AnsoteguiBPSV11,
author = {Carlos Ans{\'{o}}tegui and
Miquel Bofill and
Miquel Palah{\'{\i}} and
Josep Suy and
Mateu Villaret},
editor = {Michael R. Genesereth and
Peter Z. Revesz},
title = {Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained
Project Scheduling Problem},
booktitle = {Proceedings of the Ninth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2011, Parador de Cardona, Cardona, Catalonia,
Spain, July 17-18, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA11/paper/view/4166},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/AnsoteguiBPSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBL10,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Maria Fox and
David Poole},
title = {A New Algorithm for Weighted Partial MaxSAT},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {3--8},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7545},
doi = {10.1609/AAAI.V24I1.7545},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiBL10.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/sat/AnsoteguiBL10,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Daniel Le Berre},
title = {On Solving MaxSAT Through {SAT}},
booktitle = {{POS-10.} Pragmatics of SAT, Edinburgh, UK, July 10, 2010},
series = {EPiC Series in Computing},
volume = {8},
pages = {41--48},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/vxm5},
doi = {10.29007/VXM5},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBL09,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Sandra A. Sandri and
Miquel S{\`{a}}nchez{-}Marr{\`{e}} and
Ulises Cort{\'{e}}s},
title = {On Solving MaxSAT Through {SAT}},
booktitle = {Artificial Intelligence Research and Development, Proceedings of the
12th International Conference of the Catalan Association for Artificial
Intelligence, {CCIA} 2009, October 21-23, 2009, Vilar Rural de Cardona
(El Bages), Cardona, Spain},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {202},
pages = {284--292},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-061-2-284},
doi = {10.3233/978-1-60750-061-2-284},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBL09,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Ian P. Gent},
title = {On the Structure of Industrial {SAT} Instances},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {127--141},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_13},
doi = {10.1007/978-3-642-04244-7\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiST09,
author = {Carlos Ans{\'{o}}tegui and
Meinolf Sellmann and
Kevin Tierney},
editor = {Ian P. Gent},
title = {A Gender-Based Genetic Algorithm for the Automatic Configuration of
Algorithms},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5732},
pages = {142--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04244-7\_14},
doi = {10.1007/978-3-642-04244-7\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AnsoteguiBL09,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Craig Boutilier},
title = {Towards Industrial-Like Random {SAT} Instances},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {387--392},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/072.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AnsoteguiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiBL09,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Oliver Kullmann},
title = {Solving (Weighted) Partial MaxSAT through Satisfiability Testing},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {427--440},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_39},
doi = {10.1007/978-3-642-02777-2\_39},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBLM08,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Measuring the Hardness of {SAT} Instances},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {222--228},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-035.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiBLM08.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/ccia/AnsoteguiBL08,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy},
editor = {Teresa Alsinet and
Josep Puyol{-}Gruart and
Carme Torras},
title = {Random {SAT} Instances {\`{a}} la Carte},
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 = {109--117},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-925-7-109},
doi = {10.3233/978-1-58603-925-7-109},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBL08.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/amai/AnsoteguiLLM07,
author = {Carlos Ans{\'{o}}tegui and
Jose Larrubia and
Chu Min Li and
Felip Many{\`{a}}},
title = {Exploiting multivalued knowledge in variable selection heuristics
for {SAT} solvers},
journal = {Ann. Math. Artif. Intell.},
volume = {49},
number = {1-4},
pages = {191--205},
year = {2007},
url = {https://doi.org/10.1007/s10472-007-9062-5},
doi = {10.1007/S10472-007-9062-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/AnsoteguiLLM07.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/AnsoteguiBLM07,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
title = {Inference Rules for High-Order Consistency in Weighted {CSP}},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {167--172},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-025.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiBLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBLM07,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
editor = {Cecilio Angulo and
Llu{\'{\i}}s Godo},
title = {What Is a Real-World {SAT} Instance?},
booktitle = {Artificial Intelligence Research and Development, Proceedings of the
10th International Conference of the ACIA, {CCIA} 2007, October 25-26,
2007, Sant Juli{\`{a}} de L{\`{o}}ria, Andorra},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {163},
pages = {19--28},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7644},
timestamp = {Fri, 05 Jun 2020 11:50:51 +0200},
biburl = {https://dblp.org/rec/conf/ccia/AnsoteguiBLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AnsoteguiBLM07,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
editor = {Manuela M. Veloso},
title = {The Logic Behind Weighted {CSP}},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {32--37},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/003.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AnsoteguiBLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AnsoteguiBLM07,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
title = {A Complete Resolution Calculus for Signed Max-SAT},
booktitle = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
13-16 May 2007, Oslo, Norway},
pages = {22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISMVL.2007.2},
doi = {10.1109/ISMVL.2007.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AnsoteguiBLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiBLM07,
author = {Carlos Ans{\'{o}}tegui and
Maria Luisa Bonet and
Jordi Levy and
Felip Many{\`{a}}},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {Mapping {CSP} into Many-Valued {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {10--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_4},
doi = {10.1007/978-3-540-72788-0\_4},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiBLM07.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}
}
@inproceedings{DBLP:conf/aaai/SellmannA06,
author = {Meinolf Sellmann and
Carlos Ans{\'{o}}tegui},
title = {Disco - Novo - GoGo: Integrating Local Search and Complete Search
with Restarts},
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 = {1051--1056},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-165.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SellmannA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GonzalezAM06,
author = {Santiago Macho Gonz{\'{a}}lez and
Carlos Ans{\'{o}}tegui and
Pedro Meseguer},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Boosting Open CSPs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {314--328},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_24},
doi = {10.1007/11889205\_24},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GonzalezAM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SabharwalAGHS06,
author = {Ashish Sabharwal and
Carlos Ans{\'{o}}tegui and
Carla P. Gomes and
Justin W. Hart and
Bart Selman},
editor = {Armin Biere and
Carla P. Gomes},
title = {{QBF} Modeling: Exploiting Player Symmetry for Simplicity and Efficiency},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {382--395},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_35},
doi = {10.1007/11814948\_35},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/SabharwalAGHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiGS05,
author = {Carlos Ans{\'{o}}tegui and
Carla P. Gomes and
Bart Selman},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {The Achilles' Heel of {QBF}},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {275--281},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-044.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnsoteguiGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AnsoteguiM05,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
title = {Mapping Many-Valued {CNF} Formulas to Boolean {CNF} Formulas},
booktitle = {35th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2005), 18-21 May 2005, Calgary, Canada},
pages = {290--295},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ISMVL.2005.23},
doi = {10.1109/ISMVL.2005.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AnsoteguiM05.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/ismvl/AnsoteguiBCM04,
author = {Carlos Ans{\'{o}}tegui and
Ram{\'{o}}n B{\'{e}}jar and
Alba Cabiscol and
Felip Many{\`{a}}},
title = {The Interface between {P} and {NP} in Signed {CNF} Formulas},
booktitle = {34th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2004), 19-22 May 2004, Toronto, Canada},
pages = {251--256},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISMVL.2004.1319950},
doi = {10.1109/ISMVL.2004.1319950},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AnsoteguiBCM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiM04,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
title = {Mapping Problems with Finite-Domain Variables into Problems with Boolean
Variables},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/53.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AnsoteguiM04a,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Mapping Problems with Finite-Domain Variables to Problems with Boolean
Variables},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_1},
doi = {10.1007/11527695\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AnsoteguiM04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/AnsoteguiM03,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
title = {Una introducci{\'{o}}n a los algoritmos de satisfactibilidad},
journal = {Inteligencia Artif.},
volume = {7},
number = {20},
pages = {43--56},
year = {2003},
url = {http://journal.iberamia.org/index.php/ia/article/view/374/article\%20\%281\%29.pdf},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/AnsoteguiM03.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}
}
@inproceedings{DBLP:conf/cp/AnsoteguiLM03,
author = {Carlos Ans{\'{o}}tegui and
Jose Larrubia and
Felip Many{\`{a}}},
editor = {Francesca Rossi},
title = {Boosting Chaff's Performance by Incorporating {CSP} Heuristics},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {96--107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_7},
doi = {10.1007/978-3-540-45193-8\_7},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Ansotegui03,
author = {Carlos Ans{\'{o}}tegui},
editor = {Francesca Rossi},
title = {A New Approach to Solving SAT-Encoded Binary CSPs},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {962},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_87},
doi = {10.1007/978-3-540-45193-8\_87},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Ansotegui03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/AnsoteguiM03,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
title = {New Logical and Complexity Results for Signed-SAT},
booktitle = {33rd {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
2003), 16-19 May 2003, Tokyo, Japan},
pages = {181--187},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISMVL.2003.1201404},
doi = {10.1109/ISMVL.2003.1201404},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/AnsoteguiM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiM02,
author = {Carlos Ans{\'{o}}tegui and
Felip Many{\`{a}}},
editor = {Pascal Van Hentenryck},
title = {Bridging the Gap between {SAT} and {CSP}},
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 = {784--785},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_79},
doi = {10.1007/3-540-46135-3\_79},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-11 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
