Communication Dans Un Congrès
Année : 2013
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00865255
Soumis le : mardi 24 septembre 2013-10:58:56
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00865255 , version 1
Citer
Jean-Marie Lagniez, Armin Biere. Factoring Out Assumptions to Speed Up {MUS} Extraction. 16th International Conference on Theory and Applications of Satisfiability Testing (SAT'13), 2013, Helsinki, Finland. pp.276-22. ⟨hal-00865255⟩
Collections
20
Consultations
0
Téléchargements