On Finding Minimum Satisfying Assignments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexey Ignatiev, Alessandro Previti, Joao Marques-Silva. On Finding Minimum Satisfying Assignments. In Michel Rueher, editor, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Volume 9892 of Lecture Notes in Computer Science, pages 287-297, Springer, 2016. [doi]

This author has not been identified. Look up 'Alexey Ignatiev' in GoogleThis author has not been identified. Look up 'Alessandro Previti' in GoogleThis author has not been identified. Look up 'Joao Marques-Silva' in Google

runs on WebDSL