Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
Résumé
no abstract
Article Dans Une Revue
Journal of Satisfiability, Boolean Modeling and Computation
Année : 2015
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479544
Soumis le : mardi 28 février 2017-20:38:55
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479544 , version 1
Citer
André Abrame, Djamal Habet. Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver. Journal of Satisfiability, Boolean Modeling and Computation, 2015, 9, pp.89-128. ⟨hal-01479544⟩
Collections
85
Consultations
0
Téléchargements