Research map / Image generation / Super-resolution
MaxSAT Resolution With the Dual Rail Encoding
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 |
|---|---|---|---|
| discard hard clauses (pi or ni) from the dual rail encoding (ablation) | MaxSAT solvers on dual rail 2PHP · Doubled PHP formulas | max m solved within 1800s: m ≤15 -> m up to 100 | Helped |
| use dual rail MaxSAT solvers instead of CDCL SAT solvers | doubled PHP formulas · Doubled PHP formulas | max m solved within 1800s: m ≤7 -> m ≤15 | Helped |
Closest papers by meaning
- Augmenting the Power of (Partial) MaxSat Resolution with Extension (AAAI 2020 · similarity 0.89)
- Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs (AAAI 2024 · similarity 0.87)
- Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT (AAAI 2025 · similarity 0.87)
- Hardness of Random Reordered Encodings of Parity for Resolution and CDCL (AAAI 2024 · similarity 0.86)
- Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph (AAAI 2024 · similarity 0.84)
- NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks (ICLR 2024 · 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.