101 citations · 169 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.ET2018★ 12 cited
Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results
Zhengbing Bian, Fabian Chudak, William Macready +3
Quantum annealers (QAs) are specialized quantum computers that minimize objective functions over discrete variables by physically exploiting quantum effects. Current QA platforms a…
cs.LG2018★ 38 cited
DVAE++: Discrete Variational Autoencoders with Overlapping Transformations
Arash Vahdat, William G. Macready, Zhengbing Bian +2
Training of discrete latent variable models remains challenging because passing gradient information through discrete units is difficult. We propose a new class of smoothing transf…