Send to Friend
FromTo


Send to Friend from IIIA

Exact MinSAT Solving

Publication Type:

Conference Paper

Authors:

Chu Min Li; Felip Manyà; Zhe Quan; Zhu Zhu

Source:

International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Volume 6175, Edinburgh, UK, p.363-368 (2010)

ISBN:

978-3-642-14185-0

Keywords:

Min-SAT; Max-SAT