1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025★ 1 cited
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø +8
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs…
cs.LO2025
Short proofs without interference
Adrian Rebola-Pardo
Interference is a phenomenon on proof systems for SAT solving that is both counter-intuitive and bothersome when developing proof-logging techniques. However, all existing proof sy…
cs.LO2023
Even shorter proofs without new variables
Adrián Rebola-Pardo
Proof formats for SAT solvers have diversified over the last decade, enabling new features such as extended resolution-like capabilities, very general extension-free rules, inclusi…