Captain Jack: New Variable Selection Heuristics in Local Search for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos. Captain Jack: New Variable Selection Heuristics in Local Search for SAT. 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 302-316, Springer, 2011. [doi]

This author has not been identified. Look up 'Dave A. D. Tompkins' in GoogleThis author has not been identified. Look up 'Adrian Balint' in GoogleThis author has not been identified. Look up 'Holger H. Hoos' in Google

runs on WebDSL