On extending SAT solvers for PB problems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

On extending SAT solvers for PB problems

Fichier non déposé

Dates et versions

hal-00466227 , version 1 (23-03-2010)

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⟩
38 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More