Optimizing with Minimum Satisfiability

Type de document :
Article dans une revue
Artificial Intelligence, Elsevier, 2012, 190, pp.32-44
Liste complète des métadonnées

https://hal.inria.fr/hal-00790507
Contributeur : Laurent Simon <>
Soumis le : mercredi 20 février 2013 - 13:44:42
Dernière modification le : mardi 24 avril 2018 - 13:55:48

Identifiants

  • HAL Id : hal-00790507, version 1

Collections

Citation

Zhu Zhu, Chu Min Li, Felip Manyi, Laurent Simon. Optimizing with Minimum Satisfiability. Artificial Intelligence, Elsevier, 2012, 190, pp.32-44. 〈hal-00790507〉

Partager

Métriques

Consultations de la notice

73