A Formally-Proven Algorithm for 2-Sat Problems - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

A Formally-Proven Algorithm for 2-Sat Problems

(1)
1

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.
Fichier principal
Vignette du fichier
TwoSat.pdf (131.54 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01095538 , version 1 (15-12-2014)

Identifiers

  • HAL Id : hal-01095538 , version 1

Cite

Laurent Théry. A Formally-Proven Algorithm for 2-Sat Problems. 2014. ⟨hal-01095538⟩

Collections

INRIA INRIA2
74 View
64 Download

Share

Gmail Facebook Twitter LinkedIn More