Applying Modern SAT-solvers to Solving Hard Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek. Applying Modern SAT-solvers to Solving Hard Problems. Fundamenta Informaticae, 165(3-4):321-344, 2019. [doi]

This author has not been identified. Look up 'Artur Niewiadomski' in GoogleThis author has not been identified. Look up 'Piotr Switalski' in GoogleThis author has not been identified. Look up 'Teofil Sidoruk' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in Google

runs on WebDSL