The following pages link to Filip Marić (Q606998):
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)
- Formalization and implementation of modern SAT solvers (Q839035) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
