Constructing SAT Filters with a Quantum Annealer - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adam Douglass, Andrew D. King, Jack Raymond. Constructing SAT Filters with a Quantum Annealer. In Marijn Heule, Sean Weaver, editors, Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Volume 9340 of Lecture Notes in Computer Science, pages 104-120, Springer, 2015. [doi]

This author has not been identified. Look up 'Adam Douglass' in GoogleThis author has not been identified. Look up 'Andrew D. King' in GoogleThis author has not been identified. Look up 'Jack Raymond' in Google

runs on WebDSL