Research map / Learning theory and algorithms / Combinatorial and search optimization
Operator Mutexes and Symmetries for Simplifying Planning Tasks
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 |
|---|---|---|---|
| add op-mutex plus symmetry operator removal on top of h2+de pruning (Pi2_op) | h2+de preprocessing · IPC optimal benchmarks | avg % operators removed: +4.39 | Helped |
| use op-mutex pruning alone vs h2+de | operator pruning · IPC optimal benchmarks | avg % operators removed: 53.72 -> 13.73 | Hurt |
| add Pi2_op operator pruning before A* search (lmc, m&s, pot) | Fast Downward · IPC optimal benchmarks | coverage | No clear effect |
| add Pi2_op pruning | A* with LM-Cut · childsnack | expanded states per second | Helped |
| add pruning | A* planners · IPC optimal benchmarks | number of expanded states | No clear effect |
| combine iadd with other op-mutex methods (ablation) | Algorithm 1 · IPC optimal benchmarks | operators pruned | Hurt |
| use Pi2_op instead of fam for op-mutex inference | op-mutex inference · IPC optimal benchmarks | operators pruned: -35 410 -> -35 515 | Helped |
| use 2-h2 instead of Pi2_op | op-mutex inference · IPC optimal benchmarks | op-mutex pairs found | Helped |
Closest papers by meaning
- Endomorphisms of Classical Planning Tasks (AAAI 2021 · similarity 0.87)
- Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis (AAAI 2024 · similarity 0.84)
- An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types (AAAI 2025 · similarity 0.84)
- Novelty vs. Potential Heuristics: A Comparison of Hardness Measures for Satisficing Planning (AAAI 2024 · similarity 0.83)
- Counting and Reasoning with Plans (AAAI 2025 · similarity 0.83)
- Towards Practical Classical Planning Compilations of Numeric Planning (AAAI 2025 · similarity 0.83)
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.