Solving Constraint Satisfaction Problems with SAT Technology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara. Solving Constraint Satisfaction Problems with SAT Technology. In Matthias Blume, Naoki Kobayashi, Germán Vidal, editors, Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Volume 6009 of Lecture Notes in Computer Science, pages 19-23, Springer, 2010. [doi]

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

runs on WebDSL