| Document Date: 2014-03-07 08:16:24
Open Document File Size: 322,29 KBShare Result on Facebook
Company IOS Press / Scheduling Special Interest Group / AAAI Press / / Country Switzerland / United Kingdom / / / Facility Coverage airport / / IndustryTerm admissible search heuristic / concrete solution / heuristic search / abstract solution / cost saturation algorithm / saturated cost partitioning algorithm / represented transition systems / transition systems / portfolio systems / sound algorithm / given search state / / Organization Artificial Copyright Intelligence / Association for the Advancement / Swiss National Science Foundation / Computational Intelligence / / / Position planner / / ProgrammingLanguage R / / PublishedMedium Journal of Artificial Intelligence Research / / Technology artificial intelligence / cost saturation algorithm / sound algorithm / saturated cost partitioning algorithm / CEGAR algorithm / underlying CEGAR algorithm / plain CEGAR algorithm / / URL www.aaai.org / /
SocialTag |
Diverse and Additive Cartesian Abstraction Heuristics Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch