Message-passing and local heuristics as decimation strategies for satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lukas Kroc, Ashish Sabharwal, Bart Selman. Message-passing and local heuristics as decimation strategies for satisfiability. In Sung Y. Shin, Sascha Ossowski, editors, Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. pages 1408-1414, ACM, 2009. [doi]

This author has not been identified. Look up 'Lukas Kroc' in GoogleThis author has not been identified. Look up 'Ashish Sabharwal' in GoogleThis author has not been identified. Look up 'Bart Selman' in Google

runs on WebDSL