Improving Local Search for Satisfiability Problem by Integrating Structural Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Djamal Habet, Michel Vasquez. Improving Local Search for Satisfiability Problem by Integrating Structural Properties. In 2007 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies, RIVF 2007, Hanoi, Vietnam, 5-9 March 2007. pages 50-57, IEEE, 2007. [doi]

This author has not been identified. Look up 'Djamal Habet' in GoogleThis author has not been identified. Look up 'Michel Vasquez' in Google

runs on WebDSL