Pages that link to "Item:Q4928451"
From MaRDI portal
The following pages link to Verifying Refutations with Extended Resolution (Q4928451):
Displayed 13 items.
- On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers (Q823775) (← links)
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- Efficient, verified checking of propositional proofs (Q1687744) (← links)
- A flexible proof format for SAT solver-elaborator communication (Q2044190) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- (Q4553279) (← links)
- (Q4989407) (← links)
- (Q5094131) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)