Skip to Main content Skip to Navigation
Journal articles

The First Evaluation of Pseudo-Boolean Solvers (PB'05)

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00110082
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Thursday, October 26, 2006 - 2:19:59 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM

Identifiers

  • HAL Id : hal-00110082, version 1

Collections

Citation

V. Manquinho, Olivier Roussel. The First Evaluation of Pseudo-Boolean Solvers (PB'05). Journal on Satisfiability, Boolean Modeling and Computation, IOS Press, 2006, 2, pp.103-143. ⟨hal-00110082⟩

Share

Metrics

Les métriques sont temporairement indisponibles