Cited By
View all- YANG YOLIVEIRA B(2019)Pure iso-type systemsJournal of Functional Programming10.1017/S095679681900010829Online publication date: 17-Sep-2019
- Fleury M(2019)Optimizing a Verified SAT SolverNASA Formal Methods10.1007/978-3-030-20652-9_10(148-165)Online publication date: 28-May-2019
- Fleury MBlanchette JLammich PAndronick JFelty A(2018)A verified SAT solver with watched literals using imperative HOLProceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3167080(158-171)Online publication date: 8-Jan-2018
- Show More Cited By