Nombre de solutions et satisfiabilité d'un problème SAT : une approche ensembliste, combinatoire et statistique
Abstract
Disponible dans les fichiers attachés à ce document
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00075017
Submitted on : Wednesday, May 24, 2006-5:15:20 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Long-term archiving on: Tuesday, April 12, 2011-8:36:19 PM