Research map / Learning theory and algorithms / Combinatorial and search optimization
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis
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 speculative parallel look-ahead consistency checks using 8 cores | FastDiag · Linux-2.6.33.3, diagnosis cardinalities 1, 2, 4, 8, and 16 | runtime (sec): 4.56 -> 2.77; 5.60 -> 3.69; 8.13 -> 5.76; 11.96 -> 8.74; 20.95 -> 16.38 | Helped |
| Use 32 cores with maxGCC tied to core count | FastDiagP · Linux-2.6.33.3, diagnosis cardinalities 4, 8, and 16 | runtime (sec): 8.13 -> 10.11; 11.96 -> 14.52; 20.95 -> 29.28 | Hurt |
| Increase cores from 8 to 16 or 32 while fixing maxGCC at 7 (ablation) | FastDiagP · Linux-2.6.33.3, diagnosis cardinalities 1, 2, 4, 8, and 16 | runtime (sec): 2.78 -> 2.79 -> 2.81; 3.69 -> 3.70 -> 3.72; 5.76 -> 5.80 -> 5.87; 8.74 -> 8.78 -> 8.84; 16.38 -> 16.41 -> 16.64 | No clear effect |
| Fix maxGCC at 7 rather than increasing it with core count (ablation) | FastDiagP · Linux-2.6.33.3, diagnosis cardinalities 4, 8, and 16 | runtime (sec): 10.11 -> 5.87; 14.52 -> 8.84; 29.28 -> 16.64 | Helped |
Closest papers by meaning
- INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems (AAAI 2024 · similarity 0.81)
- SpecExit: Accelerating Large Reasoning Model via Speculative Exit (ICML 2026 · similarity 0.80)
- Parallel Empirical Evaluations: Resilience despite Concurrency (AAAI 2024 · similarity 0.80)
- Speculative Monte-Carlo Tree Search (NeurIPS 2024 · similarity 0.80)
- Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs (AAAI 2025 · similarity 0.79)
- Outrunning LLM Cutoffs: A Live Kernel Crash Resolution Benchmark for All (ICML 2026 · similarity 0.79)
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.