Article Dans Une Revue
Logical Methods in Computer Science
Année : 2012
Nadia Creignou : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01194333
Soumis le : samedi 5 septembre 2015-20:36:26
Dernière modification le : vendredi 24 mars 2023-14:53:01
Dates et versions
Identifiants
- HAL Id : hal-01194333 , version 1
Citer
Nadia Creignou, Elmar Böhler, Matthias Galota, Steffen Reith, Henning Schnoor, et al.. Boolean Circuits as a Data Structure for Boolean Functions:
Efficient Algorithms and Hard Problems. Logical Methods in Computer Science, 2012, 8 (3), pp.31. ⟨hal-01194333⟩
45
Consultations
0
Téléchargements