A Compact and Efficient SAT-Encoding of Finite Domain CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara. A Compact and Efficient SAT-Encoding of Finite Domain CSP. In Karem A. Sakallah, Laurent Simon, editors, Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Volume 6695 of Lecture Notes in Computer Science, pages 375-376, Springer, 2011. [doi]

This author has not been identified. Look up 'Tomoya Tanjo' in GoogleThis author has not been identified. Look up 'Naoyuki Tamura' in GoogleThis author has not been identified. Look up 'Mutsunori Banbara' in Google

runs on WebDSL