Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction

Type de document :
Communication dans un congrès
International Conference on Theory and Applications of Satisfiability Testing, Jun 2013, Helsinki, Finland. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00845496
Contributeur : Laurent Simon <>
Soumis le : mercredi 17 juillet 2013 - 11:33:06
Dernière modification le : mardi 24 avril 2018 - 13:51:39

Identifiants

  • HAL Id : hal-00845496, version 1

Collections

Citation

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. 2013. 〈hal-00845496〉

Partager

Métriques

Consultations de la notice

119