2 items found

Types: software Tags: ACM.ComputingMilieux_THECOMPUTINGPROFESSION ACM.GeneralLiterature_MISCELLANEOUS

Filter Results
  • software

    Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...

    The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction...
  • software

    Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...

    The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...