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 : jeudi 11 janvier 2018 - 06:22:37

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

89