Improving performance of CDCL SAT solvers by automated design of variable selection heuristics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marketa Illetskova, Alex R. Bertels, Joshua M. Tuggle, Adam Harter, Samuel Richter, Daniel R. Tauritz, Samuel A. Mulder, Denis Bueno, Michelle Leger, William M. Siever. Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. In 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017. pages 1-8, IEEE, 2017. [doi]

This author has not been identified. Look up 'Marketa Illetskova' in GoogleThis author has not been identified. Look up 'Alex R. Bertels' in GoogleThis author has not been identified. Look up 'Joshua M. Tuggle' in GoogleThis author has not been identified. Look up 'Adam Harter' in GoogleThis author has not been identified. Look up 'Samuel Richter' in GoogleThis author has not been identified. Look up 'Daniel R. Tauritz' in GoogleThis author has not been identified. Look up 'Samuel A. Mulder' in GoogleThis author has not been identified. Look up 'Denis Bueno' in GoogleThis author has not been identified. Look up 'Michelle Leger' in GoogleThis author has not been identified. Look up 'William M. Siever' in Google

runs on WebDSL