Skip to Main content Skip to Navigation
Journal articles

Optimizing with Minimum Satisfiability

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00790507
Contributor : Laurent Simon <>
Submitted on : Wednesday, February 20, 2013 - 1:44:42 PM
Last modification on : Thursday, June 17, 2021 - 3:49:41 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

141