Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts

Type de document :
Communication dans un congrès
International Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00845494
Contributeur : Laurent Simon <>
Soumis le : mercredi 17 juillet 2013 - 11:30:52
Dernière modification le : mardi 24 avril 2018 - 13:51:41

Identifiants

  • HAL Id : hal-00845494, version 1

Collections

Citation

Gilles Audemard, Laurent Simon. Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts. International Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy. 2012. 〈hal-00845494〉

Partager

Métriques

Consultations de la notice

177