scientific article
From MaRDI portal
Publication:2848690
zbMath1272.68366MaRDI QIDQ2848690
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000089
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
A proof system for graph (non)-isomorphism verification ⋮ Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver ⋮ Pegasus: sound continuous invariant generation ⋮ Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ SAT-Enhanced Mizar Proof Checking
Uses Software
This page was built for publication:
