Article Dans Une Revue
Journal of Automated Reasoning (JAR)
Année : 2017
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300773
Soumis le : mardi 27 juillet 2021-11:56:43
Dernière modification le : mercredi 6 mars 2024-08:19:24
Dates et versions
Identifiants
- HAL Id : hal-03300773 , version 1
Citer
Jean-Marie Lagniez, Pierre Marquis. On Preprocessing Techniques and Their Impact on Propositional Model Counting. Journal of Automated Reasoning (JAR), 2017, 58 (4), pp.413-481. ⟨hal-03300773⟩
Collections
6
Consultations
0
Téléchargements