Article Dans Une Revue
Journal on Satisfiability, Boolean Modeling and Computation
Année : 2006
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00110082
Soumis le : jeudi 26 octobre 2006-14:19:59
Dernière modification le : vendredi 16 février 2024-11:23:56
Dates et versions
Identifiants
- HAL Id : hal-00110082 , version 1
Citer
V. Manquinho, Olivier Roussel. The First Evaluation of Pseudo-Boolean Solvers (PB'05). Journal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.103-143. ⟨hal-00110082⟩
Collections
52
Consultations
0
Téléchargements