Pages that link to "Item:Q5327347"
From MaRDI portal
The following pages link to Mechanical Verification of SAT Refutations with Extended Resolution (Q5327347):
Displaying 9 items.
- How to get more out of your oracles (Q1687729) (← links)
- Efficient, verified checking of propositional proofs (Q1687744) (← links)
- A flexible proof format for SAT solver-elaborator communication (Q2044190) (← links)
- Formally verifying the solution to the Boolean Pythagorean triples problem (Q2323449) (← links)
- Functional Encryption for Inner Product with Full Function Privacy (Q2798775) (← links)
- An Expressive Model for Instance Decomposition Based Parallel SAT Solvers (Q2964456) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- (Q5094131) (← links)
- Efficient verified (UN)SAT certificate checking (Q5919480) (← links)
