Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers

Type de document :
Communication dans un congrès
Conference on Artificial Intelligence (AAAI), Jul 2013, Washington, United States. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00845507
Contributeur : Laurent Simon <>
Soumis le : mercredi 17 juillet 2013 - 11:41:58
Dernière modification le : jeudi 5 avril 2018 - 12:30:08

Identifiants

  • HAL Id : hal-00845507, version 1

Collections

Citation

George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon. Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers. Conference on Artificial Intelligence (AAAI), Jul 2013, Washington, United States. 2013. 〈hal-00845507〉

Partager

Métriques

Consultations de la notice

75