Communication Dans Un Congrès
Année : 2007
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00466227
Soumis le : mardi 23 mars 2010-10:35:41
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00466227 , version 1
Citer
Daniel Le Berre, Anne Parrain. On extending SAT solvers for PB problems. 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion(RCRA07, Jul 2007, Rome, Italy. ⟨hal-00466227⟩
Collections
45
Consultations
0
Téléchargements