Pages that link to "Item:Q3454124"
From MaRDI portal
The following pages link to Expressing Symmetry Breaking in DRAT Proofs (Q3454124):
Displaying 13 items.
- On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers (Q823775) (← links)
- Preprocessing of propagation redundant clauses (Q2104502) (← links)
- Strong extension-free proof systems (Q2303251) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Functional Encryption for Inner Product with Full Function Privacy (Q2798775) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- DRAT Proofs for XOR Reasoning (Q2835888) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- The resolution of Keller's conjecture (Q5918545) (← links)
- The resolution of Keller's conjecture (Q5970770) (← links)
- Preprocessing of propagation redundant clauses (Q6053844) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- Without loss of satisfaction (Q6605336) (← links)
