98 citations · 385 across the 33 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 4 cited
Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker
Luís Cruz-Filipe, Peter Schneider-Kamp
Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal…
cs.LO2015★ 4 cited
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
Luís Cruz-Filipe, Peter Schneider-Kamp
In recent work, we formalized the theory of optimal-size sorting networks with the goal of extracting a verified checker for the large-scale computer-generated proof that 25 compar…