When does (T) equal sat(T)? - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue Journal of Symbolic Computation Année : 2010

When does (T) equal sat(T)?

François Lemaire  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00825030

Soumis le : mercredi 22 mai 2013-17:33:39

Dernière modification le : vendredi 24 mars 2023-14:52:57

Fichier non déposé

Dates et versions

hal-00825030 , version 1 (22-05-2013)

Identifiants

  • HAL Id : hal-00825030 , version 1

Citer

François Lemaire, Marc Moreno Maza, Yuzhen Xie, Wei Pan. When does (T) equal sat(T)?. Journal of Symbolic Computation, 2010, 46 (12), pp.1291-1305. ⟨hal-00825030⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-LILLE3 CNRS INRIA LIFL CRISTAL-CFHP
103 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More