preSAT: SAT Solver Description

Rapport Année : 2008

(1) , (2) , (1)

1
2

Cédric Piette

Centre de Recherche en Informatique de Lens

Youssef Hamadi

Microsoft Research [Cambridge]

Lakhdar Saïs

Centre de Recherche en Informatique de Lens

This document briefly describes preSAT 1.0 , a new technique designed to efficiently solve structured CNF formulae.

Intelligence artificielle [cs.AI]

Fichier principal

preSAT_description.pdf (47.8 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-00872842

Soumis le : lundi 14 octobre 2013-14:53:30

Dernière modification le : mercredi 20 septembre 2023-15:36:06

Archivage à long terme le : vendredi 7 avril 2017-10:47:03

hal-00872842 , version 1 (14-10-2013)

Cédric Piette, Youssef Hamadi, Lakhdar Saïs. preSAT: SAT Solver Description. 2008. ⟨hal-00872842⟩

UNIV-ARTOIS CNRS LARA CRIL

76 Consultations

71 Téléchargements