BibTeX records: Álvaro Torralba

download as .bib file

@inproceedings{DBLP:conf/aaai/PozoTL24,
  author       = {Mart{\'{\i}}n Pozo and
                  {\'{A}}lvaro Torralba and
                  Carlos Linares L{\'{o}}pez},
  editor       = {Michael J. Wooldridge and
                  Jennifer G. Dy and
                  Sriraam Natarajan},
  title        = {When {CEGAR} Meets Regression: {A} Love Story in Optimal Classical
                  Planning},
  booktitle    = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2024, Thirty-Sixth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
                  Canada},
  pages        = {20238--20246},
  publisher    = {{AAAI} Press},
  year         = {2024},
  url          = {https://doi.org/10.1609/aaai.v38i18.30004},
  doi          = {10.1609/AAAI.V38I18.30004},
  timestamp    = {Wed, 27 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/PozoTL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Torralba23,
  author       = {{\'{A}}lvaro Torralba},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Reshaping State-Space Search: From Dominance to Contrastive Analysis},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {15457},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i13.26824},
  doi          = {10.1609/AAAI.V37I13.26824},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/Torralba23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EisenhutTC023,
  author       = {Jan Eisenhut and
                  {\'{A}}lvaro Torralba and
                  Maria Christakis and
                  J{\"{o}}rg Hoffmann},
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {Automatic Metamorphic Test Oracles for Action-Policy Testing},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  pages        = {109--117},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/icaps.v33i1.27185},
  doi          = {10.1609/ICAPS.V33I1.27185},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/EisenhutTC023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0001ST23,
  author       = {Daniel Gnad and
                  Silvan Sievers and
                  {\'{A}}lvaro Torralba},
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink
                  and Symbolic Pattern Databases},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  pages        = {138--147},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/icaps.v33i1.27188},
  doi          = {10.1609/ICAPS.V33I1.27188},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/0001ST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlossnerTSS23,
  author       = {Thorsten Kl{\"{o}}{\ss}ner and
                  {\'{A}}lvaro Torralba and
                  Marcel Steinmetz and
                  Silvan Sievers},
  editor       = {Sven Koenig and
                  Roni Stern and
                  Mauro Vallati},
  title        = {A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems},
  booktitle    = {Proceedings of the Thirty-Third International Conference on Automated
                  Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
  pages        = {203--211},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/icaps.v33i1.27196},
  doi          = {10.1609/ICAPS.V33I1.27196},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/KlossnerTSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PhamT23,
  author       = {Florian Pham and
                  {\'{A}}lvaro Torralba},
  title        = {Can {I} Really Do That? Verification of Meta-Operators via Stackelberg
                  Planning},
  booktitle    = {Proceedings of the Thirty-Second International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
                  SAR, China},
  pages        = {5420--5428},
  publisher    = {ijcai.org},
  year         = {2023},
  url          = {https://doi.org/10.24963/ijcai.2023/602},
  doi          = {10.24963/IJCAI.2023/602},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/PhamT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FiserT022,
  author       = {Daniel Fiser and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  title        = {Operator-Potential Heuristics for Symbolic Search},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {9750--9757},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i9.21210},
  doi          = {10.1609/AAAI.V36I9.21210},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FiserT022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HorcikFT22,
  author       = {Rostislav Horc{\'{\i}}k and
                  Daniel Fiser and
                  {\'{A}}lvaro Torralba},
  title        = {Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation
                  Heuristics},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {9767--9775},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i9.21212},
  doi          = {10.1609/AAAI.V36I9.21212},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HorcikFT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FiserT022,
  author       = {Daniel Fiser and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  editor       = {Akshat Kumar and
                  Sylvie Thi{\'{e}}baux and
                  Pradeep Varakantham and
                  William Yeoh},
  title        = {Operator-Potentials in Symbolic Search: From Forward to Bi-directional
                  Search},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
                  2022},
  pages        = {80--89},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19788},
  timestamp    = {Wed, 20 Jul 2022 14:27:38 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/FiserT022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GnadTF22,
  author       = {Daniel Gnad and
                  {\'{A}}lvaro Torralba and
                  Daniel Fiser},
  editor       = {Akshat Kumar and
                  Sylvie Thi{\'{e}}baux and
                  Pradeep Varakantham and
                  William Yeoh},
  title        = {Beyond Stars - Generalized Topologies for Decoupled Search},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
                  2022},
  pages        = {110--118},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19791},
  timestamp    = {Thu, 21 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/GnadTF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HorcikTRCE22,
  author       = {Rostislav Horc{\'{\i}}k and
                  {\'{A}}lvaro Torralba and
                  Pavel Ryt{\'{\i}}r and
                  Luk{\'{a}}s Chrpa and
                  Stefan Edelkamp},
  editor       = {Akshat Kumar and
                  Sylvie Thi{\'{e}}baux and
                  Pradeep Varakantham and
                  William Yeoh},
  title        = {Optimal Mixed Strategies for Cost-Adversarial Planning Games},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
                  2022},
  pages        = {160--168},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19797},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/HorcikTRCE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KlossnerST022,
  author       = {Thorsten Kl{\"{o}}{\ss}ner and
                  Marcel Steinmetz and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  editor       = {Akshat Kumar and
                  Sylvie Thi{\'{e}}baux and
                  Pradeep Varakantham and
                  William Yeoh},
  title        = {Pattern Selection Strategies for Pattern Databases in Probabilistic
                  Planning},
  booktitle    = {Proceedings of the Thirty-Second International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
                  2022},
  pages        = {184--192},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/19801},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/KlossnerST022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/SchmidST22,
  author       = {Stefan Schmid and
                  Bernhard Clemens Schrenk and
                  {\'{A}}lvaro Torralba},
  title        = {NetStack: {A} Game Approach to Synthesizing Consistent Network Updates},
  booktitle    = {{IFIP} Networking Conference, {IFIP} Networking 2022, Catania, Italy,
                  June 13-16, 2022},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.23919/IFIPNetworking55013.2022.9829770},
  doi          = {10.23919/IFIPNETWORKING55013.2022.9829770},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/networking/SchmidST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SieversGT22,
  author       = {Silvan Sievers and
                  Daniel Gnad and
                  {\'{A}}lvaro Torralba},
  editor       = {Luk{\'{a}}s Chrpa and
                  Alessandro Saetti},
  title        = {Additive Pattern Databases for Decoupled Search},
  booktitle    = {Proceedings of the Fifteenth International Symposium on Combinatorial
                  Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
  pages        = {180--189},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/socs.v15i1.21766},
  doi          = {10.1609/SOCS.V15I1.21766},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/SieversGT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-04479,
  author       = {Matias Greco and
                  {\'{A}}lvaro Torralba and
                  Jorge A. Baier and
                  H{\'{e}}ctor Palacios},
  title        = {Scaling up ML-based Black-box Planning with Partial {STRIPS} Models},
  journal      = {CoRR},
  volume       = {abs/2207.04479},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.04479},
  doi          = {10.48550/ARXIV.2207.04479},
  eprinttype    = {arXiv},
  eprint       = {2207.04479},
  timestamp    = {Wed, 13 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-04479.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TorralbaSKS021,
  author       = {{\'{A}}lvaro Torralba and
                  Patrick Speicher and
                  Robert K{\"{u}}nnemann and
                  Marcel Steinmetz and
                  J{\"{o}}rg Hoffmann},
  title        = {Faster Stackelberg Planning via Symbolic Search and Information Sharing},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {11998--12006},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i13.17425},
  doi          = {10.1609/AAAI.V35I13.17425},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/TorralbaSKS021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Torralba21,
  author       = {{\'{A}}lvaro Torralba},
  title        = {On the Optimal Efficiency of A* with Dominance Pruning},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {12007--12014},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i13.17426},
  doi          = {10.1609/AAAI.V35I13.17426},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Torralba21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Klossner0ST21,
  author       = {Thorsten Kl{\"{o}}{\ss}ner and
                  J{\"{o}}rg Hoffmann and
                  Marcel Steinmetz and
                  {\'{A}}lvaro Torralba},
  editor       = {Susanne Biundo and
                  Minh Do and
                  Robert Goldman and
                  Michael Katz and
                  Qiang Yang and
                  Hankz Hankui Zhuo},
  title        = {Pattern Databases for Goal-Probability Maximization in Probabilistic
                  Planning},
  booktitle    = {Proceedings of the Thirty-First International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
                  August 2-13, 2021},
  pages        = {201--209},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/15963},
  timestamp    = {Wed, 30 Aug 2023 08:38:08 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/Klossner0ST21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/TorralbaSS21,
  author       = {{\'{A}}lvaro Torralba and
                  Jendrik Seipp and
                  Silvan Sievers},
  editor       = {Susanne Biundo and
                  Minh Do and
                  Robert Goldman and
                  Michael Katz and
                  Qiang Yang and
                  Hankz Hankui Zhuo},
  title        = {Automatic Instance Generation for Classical Planning},
  booktitle    = {Proceedings of the Thirty-First International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2021, Guangzhou, China (virtual),
                  August 2-13, 2021},
  pages        = {376--384},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/15983},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/TorralbaSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LauerTFHW021,
  author       = {Pascal Lauer and
                  {\'{A}}lvaro Torralba and
                  Daniel Fiser and
                  Daniel H{\"{o}}ller and
                  Julia Wichlacz and
                  J{\"{o}}rg Hoffmann},
  editor       = {Zhi{-}Hua Zhou},
  title        = {Polynomial-Time in {PDDL} Input Size: Making the Delete Relaxation
                  Feasible for Lifted Planning},
  booktitle    = {Proceedings of the Thirtieth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
                  August 2021},
  pages        = {4119--4126},
  publisher    = {ijcai.org},
  year         = {2021},
  url          = {https://doi.org/10.24963/ijcai.2021/567},
  doi          = {10.24963/IJCAI.2021/567},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/LauerTFHW021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrossTF20,
  author       = {Joschka Gross and
                  {\'{A}}lvaro Torralba and
                  Maximilian Fickert},
  title        = {Novel Is Not Always Better: On the Relation between Novelty and Dominance
                  Pruning},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {9875--9882},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i06.6541},
  doi          = {10.1609/AAAI.V34I06.6541},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GrossTF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/KohnWTHHK20,
  author       = {Arne K{\"{o}}hn and
                  Julia Wichlacz and
                  {\'{A}}lvaro Torralba and
                  Daniel H{\"{o}}ller and
                  J{\"{o}}rg Hoffmann and
                  Alexander Koller},
  editor       = {Donia Scott and
                  N{\'{u}}ria Bel and
                  Chengqing Zong},
  title        = {Generating Instructions at Different Levels of Abstraction},
  booktitle    = {Proceedings of the 28th International Conference on Computational
                  Linguistics, {COLING} 2020, Barcelona, Spain (Online), December 8-13,
                  2020},
  pages        = {2802--2813},
  publisher    = {International Committee on Computational Linguistics},
  year         = {2020},
  url          = {https://doi.org/10.18653/v1/2020.coling-main.252},
  doi          = {10.18653/V1/2020.COLING-MAIN.252},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/KohnWTHHK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiflerST020,
  author       = {Rebecca Eifler and
                  Marcel Steinmetz and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  editor       = {Christian Bessiere},
  title        = {Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms
                  {\&} More Powerful Properties},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {4091--4097},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/566},
  doi          = {10.24963/IJCAI.2020/566},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/EiflerST020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdial/KohnWSTHK20,
  author       = {Arne K{\"{o}}hn and
                  Julia Wichlacz and
                  Christine Sch{\"{a}}fer and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann and
                  Alexander Koller},
  editor       = {Olivier Pietquin and
                  Smaranda Muresan and
                  Vivian Chen and
                  Casey Kennington and
                  David Vandyke and
                  Nina Dethlefs and
                  Koji Inoue and
                  Erik Ekstedt and
                  Stefan Ultes},
  title        = {MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents},
  booktitle    = {Proceedings of the 21th Annual Meeting of the Special Interest Group
                  on Discourse and Dialogue, SIGdial 2020, 1st virtual meeting, July
                  1-3, 2020},
  pages        = {53--56},
  publisher    = {Association for Computational Linguistics},
  year         = {2020},
  url          = {https://aclanthology.org/2020.sigdial-1.7/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigdial/KohnWSTHK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/WichlaczHTH20,
  author       = {Julia Wichlacz and
                  Daniel H{\"{o}}ller and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  editor       = {Daniel Harabor and
                  Mauro Vallati},
  title        = {Applying Monte-Carlo Tree Search in {HTN} Planning},
  booktitle    = {Proceedings of the Thirteenth International Symposium on Combinatorial
                  Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
                  2020},
  pages        = {82--90},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/socs.v11i1.18538},
  doi          = {10.1609/SOCS.V11I1.18538},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/WichlaczHTH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03982,
  author       = {Arne K{\"{o}}hn and
                  Julia Wichlacz and
                  {\'{A}}lvaro Torralba and
                  Daniel H{\"{o}}ller and
                  J{\"{o}}rg Hoffmann and
                  Alexander Koller},
  title        = {Generating Instructions at Different Levels of Abstraction},
  journal      = {CoRR},
  volume       = {abs/2010.03982},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.03982},
  eprinttype    = {arXiv},
  eprint       = {2010.03982},
  timestamp    = {Tue, 13 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-03982.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FiserTS19,
  author       = {Daniel Fiser and
                  {\'{A}}lvaro Torralba and
                  Alexander Shleyfman},
  title        = {Operator Mutexes and Symmetries for Simplifying Planning Tasks},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {7586--7593},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33017586},
  doi          = {10.1609/AAAI.V33I01.33017586},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/FiserTS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GnadTDAB19,
  author       = {Daniel Gnad and
                  {\'{A}}lvaro Torralba and
                  Mart{\'{\i}}n Ariel Dom{\'{\i}}nguez and
                  Carlos Areces and
                  Facundo Bustos},
  title        = {Learning How to Ground a Plan - Partial Grounding in Classical Planning},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {7602--7609},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33017602},
  doi          = {10.1609/AAAI.V33I01.33017602},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GnadTDAB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SpeckGMT19,
  author       = {David Speck and
                  Florian Gei{\ss}er and
                  Robert Mattm{\"{u}}ller and
                  {\'{A}}lvaro Torralba},
  editor       = {J. Benton and
                  Nir Lipovetzky and
                  Eva Onaindia and
                  David E. Smith and
                  Siddharth Srivastava},
  title        = {Symbolic Planning with Axioms},
  booktitle    = {Proceedings of the Twenty-Ninth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
                  2019},
  pages        = {464--472},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/3511},
  timestamp    = {Thu, 10 Aug 2023 15:31:45 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/SpeckGMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzT19,
  author       = {Marcel Steinmetz and
                  {\'{A}}lvaro Torralba},
  editor       = {J. Benton and
                  Nir Lipovetzky and
                  Eva Onaindia and
                  David E. Smith and
                  Siddharth Srivastava},
  title        = {Bridging the Gap between Abstractions and Critical-Path Heuristics
                  via Hypergraphs},
  booktitle    = {Proceedings of the Twenty-Ninth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
                  2019},
  pages        = {473--481},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/3512},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/SteinmetzT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TorralbaS19,
  author       = {{\'{A}}lvaro Torralba and
                  Silvan Sievers},
  editor       = {Sarit Kraus},
  title        = {Merge-and-Shrink Task Reformulation for Classical Planning},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {5644--5652},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/783},
  doi          = {10.24963/IJCAI.2019/783},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TorralbaS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/FrancoT19,
  author       = {Santiago Franco and
                  {\'{A}}lvaro Torralba},
  editor       = {Pavel Surynek and
                  William Yeoh},
  title        = {Interleaving Search and Heuristic Improvement},
  booktitle    = {Proceedings of the Twelfth International Symposium on Combinatorial
                  Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
  pages        = {130--134},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/socs.v10i1.18511},
  doi          = {10.1609/SOCS.V10I1.18511},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/FrancoT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TorralbaLB18,
  author       = {{\'{A}}lvaro Torralba and
                  Carlos Linares L{\'{o}}pez and
                  Daniel Borrajo},
  title        = {Symbolic perimeter abstraction heuristics for cost-optimal planning},
  journal      = {Artif. Intell.},
  volume       = {259},
  pages        = {1--31},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.artint.2018.02.002},
  doi          = {10.1016/J.ARTINT.2018.02.002},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/TorralbaLB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Torralba18,
  author       = {{\'{A}}lvaro Torralba},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Completeness-Preserving Dominance Techniques for Satisficing Planning},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {4844--4851},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/673},
  doi          = {10.24963/IJCAI.2018/673},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Torralba18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TorralbaAKE17,
  author       = {{\'{A}}lvaro Torralba and
                  Vidal Alc{\'{a}}zar and
                  Peter Kissmann and
                  Stefan Edelkamp},
  title        = {Efficient symbolic search for cost-optimal planning},
  journal      = {Artif. Intell.},
  volume       = {242},
  pages        = {52--79},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.artint.2016.10.001},
  doi          = {10.1016/J.ARTINT.2016.10.001},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/TorralbaAKE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GnadTSH17,
  author       = {Daniel Gnad and
                  {\'{A}}lvaro Torralba and
                  Alexander Shleyfman and
                  J{\"{o}}rg Hoffmann},
  editor       = {Laura Barbulescu and
                  Jeremy Frank and
                  Mausam and
                  Stephen F. Smith},
  title        = {Symmetry Breaking in Star-Topology Decoupled Search},
  booktitle    = {Proceedings of the Twenty-Seventh International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA,
                  June 18-23, 2017},
  pages        = {125--134},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15719},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/GnadTSH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FrancoTLB17,
  author       = {Santiago Franco and
                  {\'{A}}lvaro Torralba and
                  Levi H. S. Lelis and
                  Mike Barley},
  editor       = {Carles Sierra},
  title        = {On Creating Complementary Pattern Databases},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {4302--4309},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/601},
  doi          = {10.24963/IJCAI.2017/601},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/FrancoTLB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Torralba17,
  author       = {{\'{A}}lvaro Torralba},
  editor       = {Carles Sierra},
  title        = {From Qualitative to Quantitative Dominance Pruning for Optimal Planning},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {4426--4432},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/618},
  doi          = {10.24963/IJCAI.2017/618},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Torralba17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/GnadT017,
  author       = {Daniel Gnad and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  editor       = {Alex Fukunaga and
                  Akihiro Kishimoto},
  title        = {Symbolic Leaf Representation in Decoupled Search},
  booktitle    = {Proceedings of the Tenth International Symposium on Combinatorial
                  Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
  pages        = {124--128},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/socs.v8i1.18439},
  doi          = {10.1609/SOCS.V8I1.18439},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/GnadT017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Demberg0HKT16,
  author       = {Vera Demberg and
                  J{\"{o}}rg Hoffmann and
                  David M. Howcroft and
                  Dietrich Klakow and
                  {\'{A}}lvaro Torralba},
  title        = {Search Challenges in Natural Language Generation with Complex Optimization
                  Objectives},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {30},
  number       = {1},
  pages        = {63--69},
  year         = {2016},
  url          = {https://doi.org/10.1007/s13218-015-0409-5},
  doi          = {10.1007/S13218-015-0409-5},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ki/Demberg0HKT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/DaumT0HW16,
  author       = {Jeanette Daum and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann and
                  Patrik Haslum and
                  Ingo Weber},
  editor       = {Amanda Jane Coles and
                  Andrew Coles and
                  Stefan Edelkamp and
                  Daniele Magazzeni and
                  Scott Sanner},
  title        = {Practical Undoability Checking via Contingent Planning},
  booktitle    = {Proceedings of the Twenty-Sixth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
  pages        = {106--114},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13091},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/DaumT0HW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/SchwengerTHHD16,
  author       = {Maximilian Schwenger and
                  {\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann and
                  David M. Howcroft and
                  Vera Demberg},
  editor       = {Nicoletta Calzolari and
                  Yuji Matsumoto and
                  Rashmi Prasad},
  title        = {From OpenCCG to {AI} Planning: Detecting Infeasible Edges in Sentence
                  Generation},
  booktitle    = {{COLING} 2016, 26th International Conference on Computational Linguistics,
                  Proceedings of the Conference: Technical Papers, December 11-16, 2016,
                  Osaka, Japan},
  pages        = {1524--1534},
  publisher    = {{ACL}},
  year         = {2016},
  url          = {https://aclanthology.org/C16-1144/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/SchwengerTHHD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TorralbaGD016,
  author       = {{\'{A}}lvaro Torralba and
                  Daniel Gnad and
                  Patrick Dubbert and
                  J{\"{o}}rg Hoffmann},
  editor       = {Subbarao Kambhampati},
  title        = {On State-Dominance Criteria in Fork-Decoupled Search},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {3265--3271},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/462},
  timestamp    = {Wed, 20 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TorralbaGD016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TorralbaLB16,
  author       = {{\'{A}}lvaro Torralba and
                  Carlos Linares L{\'{o}}pez and
                  Daniel Borrajo},
  editor       = {Subbarao Kambhampati},
  title        = {Abstraction Heuristics for Symbolic Bidirectional Search},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {3272--3278},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/463},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/TorralbaLB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/0001TFBLO16,
  author       = {Javier Garc{\'{\i}}a and
                  {\'{A}}lvaro Torralba and
                  Jos{\'{e}} E. Fl{\'{o}}rez and
                  Daniel Borrajo and
                  Carlos Linares L{\'{o}}pez and
                  {\'{A}}ngel Garc{\'{\i}}a Olaya},
  editor       = {Thomas Leo McCluskey and
                  Apostolos Kotsialos and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Franziska Kl{\"{u}}gl and
                  Omer F. Rana and
                  Ren{\'{e}} Schumann},
  title        = {{TIMIPLAN:} {A} Tool for Transportation Tasks},
  booktitle    = {Autonomic Road Transport Support Systems},
  pages        = {269--285},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-25808-9\_16},
  doi          = {10.1007/978-3-319-25808-9\_16},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/16/0001TFBLO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampKT15,
  author       = {Stefan Edelkamp and
                  Peter Kissmann and
                  {\'{A}}lvaro Torralba},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {BDDs Strike Back (in {AI} Planning)},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {4320--4321},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9349},
  doi          = {10.1609/AAAI.V29I1.9349},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/EdelkampKT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/AlcazarT15,
  author       = {Vidal Alc{\'{a}}zar and
                  {\'{A}}lvaro Torralba},
  editor       = {Ronen I. Brafman and
                  Carmel Domshlak and
                  Patrik Haslum and
                  Shlomo Zilberstein},
  title        = {A Reminder about the Importance of Computing and Exploiting Invariants
                  in Planning},
  booktitle    = {Proceedings of the Twenty-Fifth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
                  2015},
  pages        = {2--6},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10518},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/AlcazarT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Torralba015,
  author       = {{\'{A}}lvaro Torralba and
                  J{\"{o}}rg Hoffmann},
  editor       = {Qiang Yang and
                  Michael J. Wooldridge},
  title        = {Simulation-Based Admissible Dominance Pruning},
  booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
                  25-31, 2015},
  pages        = {1689--1695},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {http://ijcai.org/Abstract/15/241},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/Torralba015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/TorralbaK15,
  author       = {{\'{A}}lvaro Torralba and
                  Peter Kissmann},
  editor       = {Levi Lelis and
                  Roni Stern},
  title        = {Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink},
  booktitle    = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
                  {SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
  pages        = {122--130},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/socs.v6i1.18353},
  doi          = {10.1609/SOCS.V6I1.18353},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/TorralbaK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/0001KT14,
  author       = {J{\"{o}}rg Hoffmann and
                  Peter Kissmann and
                  {\'{A}}lvaro Torralba},
  editor       = {Torsten Schaub and
                  Gerhard Friedrich and
                  Barry O'Sullivan},
  title        = {"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics
                  to Detect Unsolvability},
  booktitle    = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
                  18-22 August 2014, Prague, Czech Republic - Including Prestigious
                  Applications of Intelligent Systems {(PAIS} 2014)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {263},
  pages        = {441--446},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-419-0-441},
  doi          = {10.3233/978-1-61499-419-0-441},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/0001KT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/GarciaFRBLOS13,
  author       = {Javier Garc{\'{\i}}a and
                  Jos{\'{e}} E. Fl{\'{o}}rez and
                  {\'{A}}lvaro Torralba Arias de Reyna and
                  Daniel Borrajo and
                  Carlos Linares L{\'{o}}pez and
                  Angel Garc{\'{\i}}a Olaya and
                  Juan S{\'{a}}enz},
  title        = {Combining linear programming and automated planning to solve intermodal
                  transportation problems},
  journal      = {Eur. J. Oper. Res.},
  volume       = {227},
  number       = {1},
  pages        = {216--226},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ejor.2012.12.018},
  doi          = {10.1016/J.EJOR.2012.12.018},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eor/GarciaFRBLOS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/TorralbaEK13,
  author       = {{\'{A}}lvaro Torralba and
                  Stefan Edelkamp and
                  Peter Kissmann},
  editor       = {Daniel Borrajo and
                  Subbarao Kambhampati and
                  Angelo Oddi and
                  Simone Fratini},
  title        = {Transition Trees for Cost-Optimal Symbolic Planning},
  booktitle    = {Proceedings of the Twenty-Third International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6027},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/TorralbaEK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReynaLB13,
  author       = {{\'{A}}lvaro Torralba Arias de Reyna and
                  Carlos Linares L{\'{o}}pez and
                  Daniel Borrajo},
  editor       = {Francesca Rossi},
  title        = {Symbolic Merge-and-Shrink for Cost-Optimal Planning},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {2394--2400},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6918},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/ReynaLB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/TorralbaA13,
  author       = {{\'{A}}lvaro Torralba and
                  Vidal Alc{\'{a}}zar},
  editor       = {Malte Helmert and
                  Gabriele R{\"{o}}ger},
  title        = {Constrained Symbolic Search: On Mutexes, {BDD} Minimization and More},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Combinatorial Search,
                  {SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013},
  pages        = {175--183},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/socs.v4i1.18285},
  doi          = {10.1609/SOCS.V4I1.18285},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/TorralbaA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EdelkampKT12,
  author       = {Stefan Edelkamp and
                  Peter Kissmann and
                  {\'{A}}lvaro Torralba},
  editor       = {Luc De Raedt and
                  Christian Bessiere and
                  Didier Dubois and
                  Patrick Doherty and
                  Paolo Frasconi and
                  Fredrik Heintz and
                  Peter J. F. Lucas},
  title        = {Symbolic A\({}^{\mbox{*}}\) Search with Pattern Databases and the
                  Merge-and-Shrink Abstraction},
  booktitle    = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
                  Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
                  System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {242},
  pages        = {306--311},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {https://doi.org/10.3233/978-1-61499-098-7-306},
  doi          = {10.3233/978-1-61499-098-7-306},
  timestamp    = {Mon, 19 Jun 2023 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/EdelkampKT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ParraRL12,
  author       = {{\'{A}}lvaro Parra and
                  {\'{A}}lvaro Torralba Arias de Reyna and
                  Carlos Linares L{\'{o}}pez},
  editor       = {Daniel Borrajo and
                  Ariel Felner and
                  Richard E. Korf and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez and
                  Wheeler Ruml and
                  Nathan R. Sturtevant},
  title        = {Precomputed-Direction Heuristics for Suboptimal Grid-Based Path-finding},
  booktitle    = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
                  {SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
  pages        = {211--212},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {https://doi.org/10.1609/socs.v3i1.18252},
  doi          = {10.1609/SOCS.V3I1.18252},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ParraRL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6415,
  author       = {Stefan Edelkamp and
                  Peter Kissmann and
                  {\'{A}}lvaro Torralba},
  editor       = {Anton Wijs and
                  Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Lex-Partitioning: {A} New Option for {BDD} Search},
  booktitle    = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
                  {GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
  series       = {{EPTCS}},
  volume       = {99},
  pages        = {66--82},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.99.8},
  doi          = {10.4204/EPTCS.99.8},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-6415.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/FlorezRGLOB11,
  author       = {Jos{\'{e}} E. Fl{\'{o}}rez and
                  {\'{A}}lvaro Torralba Arias de Reyna and
                  Javier Garc{\'{\i}}a and
                  Carlos Linares L{\'{o}}pez and
                  Angel Garc{\'{\i}}a Olaya and
                  Daniel Borrajo},
  editor       = {Fahiem Bacchus and
                  Carmel Domshlak and
                  Stefan Edelkamp and
                  Malte Helmert},
  title        = {Planning Multi-Modal Transportation Problems},
  booktitle    = {Proceedings of the 21st International Conference on Automated Planning
                  and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2701},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/FlorezRGLOB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ReynaL11,
  author       = {{\'{A}}lvaro Torralba Arias de Reyna and
                  Carlos Linares L{\'{o}}pez},
  editor       = {Daniel Borrajo and
                  Maxim Likhachev and
                  Carlos Linares L{\'{o}}pez},
  title        = {Size-Independent Additive Pattern Databases for the Pancake Problem},
  booktitle    = {Proceedings of the Fourth Annual Symposium on Combinatorial Search,
                  {SOCS} 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011},
  pages        = {164--171},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/socs.v2i1.18193},
  doi          = {10.1609/SOCS.V2I1.18193},
  timestamp    = {Mon, 18 Dec 2023 04:11:03 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/ReynaL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics