Research map / Learning theory and algorithms / Combinatorial and search optimization
Symbolic Search for Oversubscription Planning
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use symbolic forward search instead of explicit A⋆ blind search | SYM-OSP vs A⋆uADD hblind · OVERALL | coverage: 3372 -> 3929 | Helped |
| Represent utility with disassembled BDDs rather than one ADD (ablation) | SYM-OSP · OVERALL | coverage: 3922 -> 3929 | Helped |
| Represent utility with disassembled BDDs rather than one ADD (ablation) | SYM-OSP · 25% BOUND | coverage: 1274 -> 1271 | Hurt |
| Represent utility with disassembled BDDs rather than one ADD (ablation) | SYM-OSP · 50% BOUND | coverage: 993 -> 990 | Hurt |
| Represent utility with disassembled BDDs rather than one ADD (ablation) | SYM-OSP · 75% BOUND | coverage: 862 -> 866 | Helped |
| Represent utility with disassembled BDDs rather than one ADD (ablation) | SYM-OSP · 100% BOUND | coverage: 793 -> 802 | Helped |
| Increase the cost bound | Optimal oversubscription planning benchmark · 25% BOUND vs 100% BOUND | coverage: 1271 -> 802 | Hurt |
| Use bound-sensitive heuristics rather than blind guidance in A⋆mc | A⋆mc · OVERALL | coverage: 3524; 3485; 3312 | Mixed |
Closest papers by meaning
- When CEGAR Meets Regression: A Love Story in Optimal Classical Planning (AAAI 2024 · similarity 0.85)
- Symbolic Numeric Planning with Patterns (AAAI 2024 · similarity 0.85)
- Towards Practical Classical Planning Compilations of Numeric Planning (AAAI 2025 · similarity 0.85)
- An Effective Polynomial Technique for Compiling Conditional Effects Away (AAAI 2024 · similarity 0.84)
- PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning (AAAI 2025 · similarity 0.84)
- An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types (AAAI 2025 · similarity 0.84)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.