A Formally-Proven Algorithm for 2-Sat Problems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2014

A Formally-Proven Algorithm for 2-Sat Problems

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01095538 , version 1

Citer

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

Collections

INRIA INRIA2
79 Consultations
93 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More