papers
Publications (3)
cs.NE2008
Distributed Constrained Optimization with Semicoordinate Transformations
William Macready, David Wolpert
quant-ph2013
Construction of Energy Functions for Lattice Heteropolymer Models: A Case Study in Constraint Satisfaction Programming and Adiabatic Quantum Optimization
Ryan Babbush, Alejandro Perdomo-Ortiz, Bryan O'Gorman +2
cs.ET2018
Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
Zhengbing Bian, Fabian Chudak, William Macready +3