conftrace_

proof logging

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint programming (3) sat solver (3) combinatorial optimization (3) cutting plane (2) bounds consistency (1) multiplication constraint (1) global constraint (1) pseudo-boolean reasoning (1) propagation algorithm (1) extensional constraint (1)

Papers

Certified Branch-and-Bound MaxSAT Solving AAAI 2026 Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables AAAI 2026 Proof Systems That Tightly Characterise Model Counting Algorithms AAAI 2026 Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Proof Logging for Smart Extensional Constraints (Extended Abstract) IJCAI 2024 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023 Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021 Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020 Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions IJCAI 2020