The following pages link to Filip Marić (Q606998):
Displaying 11 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)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- Formalizing Frankl’s Conjecture: FC-Families (Q2907327) (← links)
- Formalization of Abstract State Transition Systems for SAT (Q3224685) (← links)
- A proof system for graph (non)-isomorphism verification (Q5883756) (← links)
- Automated triangle constructions in hyperbolic geometry (Q6185790) (← links)
