Research map / Learning theory and algorithms / Combinatorial and search optimization
Two Compacted Models for Efficient Model-Based 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 dominated-component hard-clause encoding to CMMO (ablation) | CMMO · ISCAS-85, Flipped | instances solved within 1000 s: 260 -> 274 | Helped |
| Add dominated-component hard-clause encoding to CMMO (ablation) | CMMO · ISCAS-85, S-A-0 | instances solved within 1000 s: 273 -> 278 | Helped |
| Add dominated-component hard-clause encoding to CMMO (ablation) | CMMO · ISCAS-85, S-A-1 | instances solved within 1000 s: 273 -> 277 | Helped |
| Use compacted variable mapping for multiple observations | CMMO · ISCAS-85, Flipped | instances solved within 1000 s: 230 -> 260 | Helped |
| Use compacted variable mapping for multiple observations | CMMO · ISCAS-85, S-A-0 | instances solved within 1000 s: 231 -> 273 | Helped |
| Use compacted variable mapping for multiple observations | CMMO · ISCAS-85, S-A-1 | instances solved within 1000 s: 237 -> 273 | Helped |
Closest papers by meaning
- MD tree: a model-diagnostic tree grown on loss landscape (ICML 2024 · similarity 0.83)
- Multi-modal Medical Diagnosis via Large-small Model Collaboration (CVPR 2025 · similarity 0.80)
- PICID: A Modular Evaluation Infrastructure for Reproducible PHM Across Tasks and Domains (NeurIPS 2026 · similarity 0.78)
- CMR-RD: Long-Tailed Adaptive VLM for Explainable CMR Diagnosis (CVPR 2026 · similarity 0.78)
- Timely Clinical Diagnosis through Active Test Selection (NeurIPS 2025 · similarity 0.77)
- Reliably detecting model failures in deployment without labels (NeurIPS 2025 · similarity 0.77)
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.