All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

No One SATPlan Encoding To Rule Them All

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10319144" target="_blank" >RIV/00216208:11320/15:10319144 - isvavai.cz</a>

  • Result on the web

    <a href="https://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/viewFile/10823/10646" target="_blank" >https://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/viewFile/10823/10646</a>

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    No One SATPlan Encoding To Rule Them All

  • Original language description

    Solving planning problems via translation to propositional satisfiability (SAT) is one of the most successful approaches to automated planning. An important aspect of this approach is the encoding, i.e., the construction of a propositional formula from agiven planning problem instance. Numerous encoding schemes have been proposed in the recent years each aiming to outperform the previous encodings on the majority of the benchmark problems. In this paper we take a different approach. Instead of trying to develop a new encoding that is better for all kinds of benchmarks we take recently developed specialized encoding schemes and design a method to automatically select the proper encoding for a given planning problem instance. In the paper we also examine ranking heuristics for the Relaxed Relaxed Exists-Step encoding, which plays an important role in our algorithm. Experiments show that our new approach significantly outperforms the state-of-the-art encoding schemes when compared on the

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    IN - Informatics

  • OECD FORD branch

Result continuities

  • Project

    <a href="/en/project/GA15-19877S" target="_blank" >GA15-19877S: Automated Knowledge and Plan Modeling for Autonomous Robots</a><br>

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2015

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)

  • ISBN

    978-1-57735-732-2

  • ISSN

  • e-ISSN

  • Number of pages

    5

  • Pages from-to

    146-150

  • Publisher name

    Association for the Advancement of Artificial Intelligence

  • Place of publication

    Neuveden

  • Event location

    Ein Gedi, Izrael

  • Event date

    Jun 11, 2015

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article