Pages that link to "Item:Q5179007"

The following pages link to The Mechanical Verification of a DPLL-Based Satisfiability Solver (Q5179007):

Displaying 5 items.

• Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (Q606999) (← links)
• Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (Q670696) (← links)
• A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
• Efficient, verified checking of propositional proofs (Q1687744) (← links)
• (Q6060676) (← links)