Eliminating Redundant Clauses in Sat Instances - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Eliminating Redundant Clauses in Sat Instances

Domaines

Intelligence artificielle [cs.AI]

Francois Chevallier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00199309

Soumis le : mardi 18 décembre 2007-17:09:42

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

Fichier non déposé

Dates et versions

hal-00199309 , version 1 (18-12-2007)

Identifiants

  • HAL Id : hal-00199309 , version 1

Citer

Olivier Fourdrinoy, Eric Gregoire, Bertrand Mazure, Lahkdar Sais. Eliminating Redundant Clauses in Sat Instances. The Third International Conference on Integration of AI and OR Techniques 4th International Conference on Integration of AI and OR Techniques in Cons(CPAIOR'07), Jun 2007, Brussels, Belgium. pp.71-83. ⟨hal-00199309⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS
19 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More