Travelled to:
1 × USA
Collaborated with:
A.D.King J.Raymond
Talks about:
construct (1) quantum (1) filter (1) anneal (1) sat (1)
Person: Adam Douglass
DBLP: Douglass:Adam
Contributed to:
Wrote 1 papers:
- SAT-2015-DouglassKR #quantum #satisfiability
- Constructing SAT Filters with a Quantum Annealer (AD, ADK, JR), pp. 104–120.