Search results

  • 2024

    Boosting optimal symbolic planning: Operator-potential heuristics

    Fišer, D., Torralba, Á. & Hoffmann, J., Sept 2024, In: Artificial Intelligence. 334, 104174.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
  • Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search

    Pozanco, A., Torralba, Á. & Borrajo, D., 30 May 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (eds.). AAAI Press Association for the Advancement of Artificial Intelligence, p. 455-463 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 34).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata

    Tollund, R. G., Johansen, N. S., Nielsen, K., Torralba, Á. & Larsen, K. G., 30 May 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (eds.). AAAI Press Association for the Advancement of Artificial Intelligence, p. 588-596 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 34).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • When CEGAR Meets Regression: A Love Story in Optimal Classical Planning

    Pozo, M., Torralba, Á. & López, C. L., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20238-20246 9 p.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

    Open Access
  • 2023

    A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 203-211 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 109-117 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 5420-5428 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2023-August).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Reshaping State-Space Search: From Dominance to Contrastive Analysis

    Torralba, Á., 27 Jun 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 15457 1 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 37).

    Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

  • 2022

    Additive Pattern Databases for Decoupled Search

    Sievers, S., Gnad, D. & Torralba, A., 17 Jul 2022, Proceedings of the Fifteenth International Symposium on Combinatorial Search . 1 ed. The AAAI Press, Vol. 15. p. 180-189 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Beyond Stars - Generalized Topologies for Decoupled Search

    Gnad, D., Torralba, A. & Fišer, D., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 110-118 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics

    Horčík, R., Fišer, D. & Torralba, A., Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, Vol. 36/9.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    3 Citations (Scopus)
    51 Downloads (Pure)
  • NetStack: A Game Approach to Synthesizing Consistent Network Updates

    Schmid, S., Schrenk, B. C. & Torralba, A., 2022, 2022 IFIP Networking Conference, IFIP Networking 2022. IEEE, (2022 IFIP Networking Conference, IFIP Networking 2022).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, p. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 9, Vol. 36).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (Scopus)
  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, p. 80-89 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 32).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 160-168 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (Scopus)
  • Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

    Klößner, T., Steinmetz, M., Torralba, A. & Hoffmann, J., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 184-192 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • 2021

    Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 May 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 ed. Palo Alto: AAAI Press, Vol. 31. p. 376-384 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    15 Citations (Scopus)
  • Faster Stackelberg Planning via Symbolic Search and Information Sharing

    Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M. & Hoffmann, J., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 ed. Palo Alto: AAAI Press, Vol. 35. p. 11998-12006

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    7 Citations (Scopus)
  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 35).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (Scopus)
  • Pattern Databases for Goal-Probability Maximization in Probabilistic Planning

    Klößner, T., Hoffmann, J., Steinmetz, M. & Torralba, A., 17 May 2021, Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling . AAAI Press, p. 201-209 8 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 31).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    3 Citations (Scopus)
  • Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning

    Lauer, P., Torralba, A., Fišer, D., Höller, D., Wichlacz, J. & Hoffmann, J., Jul 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. IJCAI-21. International Joint Conferences on Artificial Intelligence, p. 4119-4126

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    19 Citations (Scopus)
  • 2020

    Applying monte-carlo tree search in HTN planning

    Wichlacz, J., Höller, D., Torralba, Á. & Hoffmann, J., 2020, Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020. Harabor, D. & Vallati, M. (eds.). The AAAI Press, p. 82-90 9 p. (Proceedings of the 13th International Symposium on Combinatorial Search, SoCS 2020).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    3 Citations (Scopus)
  • Generating Instructions at Different Levels of Abstraction

    Köhn, A., Wichlacz, J., Torralba, A., Höller, D., Hoffmann, J. & Koller, A., 2020, Proceedings of the 28th International Conference on Computational Linguistics. International Committee on Computational Linguistics, p. 2802-2813

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    5 Citations (Scopus)
    36 Downloads (Pure)
  • MC-Saar-Instruct - a Platform for Minecraft Instruction Giving Agents.

    Köhn, A., Wichlacz, J., Schäfer, C., Torralba, Á., Hoffmann, J. & Koller, A., 2020, Proceedings of the 21th Annual Meeting of the Special Interest Group on Discourse and Dialogue. Association for Computational Linguistics, ACL Anthology, p. 53-56

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    5 Citations (Scopus)
  • Novel Is Not Always Better - On the Relation between Novelty and Dominance Pruning.

    Gross, J., Torralba, Á. & Fickert, M., 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, p. 9875-9882

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • Planning in the Browser

    Tran, N., Speicher, P., Kuennemann, R., Backes, M., Torralba, A. & Hoffmann, J., 2020, System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), October 2020. 3 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • Plan-space explanation via plan-property dependencies: Faster algorithms & more powerful properties

    Eifler, R., Steinmetz, M., Torralba, Á. & Hoffmann, J., 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4091-4097 7 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2021-January).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    10 Citations (Scopus)
  • 2019

    Bridging the gap between abstractions and critical-path heuristics via hypergraphs

    Steinmetz, M. & Torralba, Á., 2019, Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2019. Benton, J., Lipovetzky, N., Onaindia, E., Smith, D. E. & Srivastava, S. (eds.). AAAI Press, p. 473-481 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    1 Citation (Scopus)
  • Interleaving search and heuristic improvement

    Franco, S. & Torralba, Á., 2019, Proceedings of the 12th International Symposium on Combinatorial Search, SoCS 2019. Surynek, P. & Yeoh, W. (eds.). AAAI Press, p. 130-134 5 p. (Proceedings of the 12th International Symposium on Combinatorial Search, SoCS 2019).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (Scopus)
  • Learning how to ground a plan - partial grounding in classical planning

    Gnad, D., Torralba, Á., Domínguez, M., Areces, C. & Bustos, F., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 7602-7609 8 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    18 Citations (Scopus)
  • Merge-and-shrink task reformulation for classical planning

    Torralba, Á. & Sievers, S., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 5644-5652 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2019-August).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    4 Citations (Scopus)
  • Operator mutexes and symmetries for simplifying planning tasks

    Fišer, D., Torralba, Á. & Shleyfman, A., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, p. 7586-7593 8 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    9 Citations (Scopus)
    25 Downloads (Pure)
  • Symbolic planning with axioms

    Speck, D., Geißer, F., Mattmüller, R. & Torralba, Á., 2019, Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2019. Benton, J., Lipovetzky, N., Onaindia, E., Smith, D. E. & Srivastava, S. (eds.). AAAI Press, p. 464-472 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (Scopus)
  • 2018

    Completeness-preserving dominance techniques for satisficing planning

    Torralba, Á., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 4844-4851 8 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2018-July).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    4 Citations (Scopus)
  • Symbolic perimeter abstraction heuristics for cost-optimal planning

    Torralba, Á., Linares López, C. & Borrajo, D., Jun 2018, In: Artificial Intelligence. 259, p. 1-31 31 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    9 Citations (Scopus)
  • 2017

    Efficient symbolic search for cost-optimal planning

    Torralba, Á., Alcázar, V., Kissmann, P. & Edelkamp, S., 1 Jan 2017, In: Artificial Intelligence. 242, p. 52-79 28 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    42 Citations (Scopus)
  • From qualitative to quantitative dominance pruning for optimal planning

    Torralba, Á., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4426-4432 7 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 0).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    8 Citations (Scopus)
  • On creating complementary pattern databases

    Franco, S., Torralba, Á., Lelis, L. H. S. & Barley, M., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4302-4309 8 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 0).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    24 Citations (Scopus)
  • Symbolic leaf representation in decoupled search

    Gnad, D., Torralba, Á. & Hoffmann, J., 2017, Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania. AAAI Press, p. 124-128 5 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    4 Citations (Scopus)
  • Symmetry breaking in star-topology decoupled search

    Gnad, D., Torralba, Á., Shleyfman, A. & Hoffmann, J., 2017, Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. Barbulescu, L., Smith, S. F., Mausam & Frank, J. D. (eds.). AAAI Press, p. 125-134 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    12 Citations (Scopus)
  • 2016

    Abstraction heuristics for symbolic bidirectional search

    Torralba, A., Lopez, C. L. & Borrajo, D., 2016, In: IJCAI International Joint Conference on Artificial Intelligence. 2016-January, p. 3272-3278 7 p.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

    21 Citations (Scopus)
  • From OpenCCG to AI planning: Detecting infeasible edges in sentence generation

    Schwenger, M., Torralba, A., Hoffmann, J., Howcroft, D. M. & Demberg, V., 2016, COLING 2016 - 26th International Conference on Computational Linguistics, Proceedings of COLING 2016. Association for Computational Linguistics, ACL Anthology, p. 1524-1534 11 p. (COLING 2016 - 26th International Conference on Computational Linguistics, Proceedings of COLING 2016: Technical Papers).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • On state-dominance criteria in fork-decoupled search

    Torralba, A., Gnad, D., Dubbert, P. & Hoffmann, J., 2016, In: IJCAI International Joint Conference on Artificial Intelligence. 2016-January, p. 3265-3271 7 p.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

    6 Citations (Scopus)
  • Practical undoability checking via contingent planning

    Daum, J., Torralba, Á., Hoffmann, J., Haslum, P. & Weber, I., 2016, In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. 2016-January, p. 106-114 9 p.

    Research output: Contribution to journalConference article in JournalResearchpeer-review

    Open Access
    17 Citations (Scopus)
  • Search Challenges in Natural Language Generation with Complex Optimization Objectives

    Demberg, V., Hoffmann, J., Howcroft, D. M., Klakow, D. & Torralba, Á., 1 Feb 2016, In: KI - Kunstliche Intelligenz. 30, 1, p. 63-69 7 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    6 Citations (Scopus)
  • Using AI Planning Techniques in OpenCCG: Detecting Infeasible Composites in Sentence Generation

    Schwenger, M., Torralba, A., Hoffmann, J., Howcroft, D. & Demberg, V., 2016, KI 2016 - OGAI-Tagung 2016, 30. PuK-Workshop: Planen/Scheduling und Konfigurieren/Entwerfen. Sauer, J., Edelkamp, S. & Schattenberg, B. (eds.). Gesellschaft für Informatik (GI), p. 4-16 13 p. (KI 2016 - OGAI-Tagung 2016, 30. PuK-Workshop: Planen/Scheduling und Konfigurieren/Entwerfen).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 2015

    A reminder about the importance of computing and exploiting invariants in planning

    Alcázar, V. & Torralba, Á., 2015, ICAPS 2015 - Proceedings of the 25th International Conference on Automated Planning and Scheduling. Haslum, P., Domshlak, C., Brafman, R. & Zilberstein, S. (eds.). AAAI Press, p. 2-6 5 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 2015-January).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    44 Citations (Scopus)
  • BDDs strike back (in AI planning)

    Edelkamp, S., Kissmann, P. & Torralba, Á., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. The Foundation for Open Access Statistics, p. 4320-4321 2 p. (Proceedings of the National Conference on Artificial Intelligence, Vol. 6).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    14 Citations (Scopus)
  • Focusing on what really matters: Irrelevance pruning in merge-and-shrink

    Torralba, Á. & Kissmann, P., 2015, Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 122-130 9 p. (Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015, Vol. 2015-January).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    9 Citations (Scopus)