Login / Signup
Adam Douglass
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Edge Enhancement
Stochastic Local Search Algorithms
Quantum Computation
Sat Solvers
Top Venues
SAT
</>
Publications
</>
Adam Douglass
,
Andrew D. King
,
Jack Raymond
Constructing SAT Filters with a Quantum Annealer.
SAT
(2015)