Boost SAT Solver with Hybrid Branching Heuristic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Seongsoo Moon, Mary Inaba. Boost SAT Solver with Hybrid Branching Heuristic. In Alex Fukunaga, Akihiro Kishimoto, editors, Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA. pages 56-63, AAAI Press, 2017. [doi]

This author has not been identified. Look up 'Seongsoo Moon' in GoogleThis author has not been identified. Look up 'Mary Inaba' in Google

runs on WebDSL