An Improved GPU-Based SAT Model Counter - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Klaus Fichte, Markus Hecher, Markus Zisser. An Improved GPU-Based SAT Model Counter. In Thomas Schiex, Simon de Givry, editors, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Volume 11802 of Lecture Notes in Computer Science, pages 491-509, Springer, 2019. [doi]

This author has not been identified. Look up 'Johannes Klaus Fichte' in GoogleThis author has not been identified. Look up 'Markus Hecher' in GoogleThis author has not been identified. Look up 'Markus Zisser' in Google

runs on WebDSL