Communication Dans Un Congrès
Année : 2013
Laurent Simon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00845496
Soumis le : mercredi 17 juillet 2013-11:33:06
Dernière modification le : samedi 10 février 2024-03:08:00
Dates et versions
Identifiants
- HAL Id : hal-00845496 , version 1
Citer
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon. Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. International Conference on Theory and Applications of Satisfiability Testing, Jun 2013, Helsinki, Finland. ⟨hal-00845496⟩
Collections
107
Consultations
0
Téléchargements