Instance-Based Selection of Policies for SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mladen Nikolic, Filip Maric, Predrag Janicic. Instance-Based Selection of Policies for SAT Solvers. In Oliver Kullmann, editor, Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Volume 5584 of Lecture Notes in Computer Science, pages 326-340, Springer, 2009. [doi]

This author has not been identified. Look up 'Mladen Nikolic' in GoogleThis author has not been identified. Look up 'Filip Maric' in GoogleThis author has not been identified. Look up 'Predrag Janicic' in Google

runs on WebDSL