Exploiting Cycle Structures in Max-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes. Exploiting Cycle Structures in Max-SAT. In Oliver Kullmann, editor, Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Volume 5584 of Lecture Notes in Computer Science, pages 467-480, Springer, 2009. [doi]

This author has not been identified. Look up 'Chu Min Li' in GoogleThis author has not been identified. Look up 'Felip Manyà' in GoogleThis author has not been identified. Look up 'Nouredine Ould Mohamedou' in GoogleThis author has not been identified. Look up 'Jordi Planes' in Google

runs on WebDSL