External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Optimizing with minimum satisfiability

Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon. Optimizing with minimum satisfiability. Artificial Intelligence, 190:32-44, 2012. [doi]

Authors

Chu Min Li

This author has not been identified. Look up 'Chu Min Li' in Google

Zhu Zhu

This author has not been identified. Look up 'Zhu Zhu' in Google

Felip Manyà

This author has not been identified. Look up 'Felip Manyà' in Google

Laurent Simon

This author has not been identified. Look up 'Laurent Simon' in Google
runs on