From XSAT To SAT By Exhibiting Boolean Functions
Résumé
no abstract
Article Dans Une Revue
International Journal on Artificial Intelligence Tools (IJAIT)
Année : 2010
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479558
Soumis le : mardi 28 février 2017-20:39:11
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479558 , version 1
Citer
Richard Ostrowski, Lionel Paris. From XSAT To SAT By Exhibiting Boolean Functions. International Journal on Artificial Intelligence Tools (IJAIT), 2010, 18 (5), pp.783-799. ⟨hal-01479558⟩
Collections
28
Consultations
0
Téléchargements