Abstract : This notes explains how an algorithm that checks the satisfiability of a set of two clause has been formalised in the Coq prover using the SSReflect extension.
https://hal.inria.fr/hal-01095538
Contributeur : Laurent Thery
<>
Soumis le : lundi 15 décembre 2014 - 17:25:14
Dernière modification le : jeudi 11 janvier 2018 - 16:22:42
Document(s) archivé(s) le : lundi 16 mars 2015 - 12:30:24
