101 citations · 169 across the 5 of their papers we have counts for
5 papers
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…
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…
Benchmarking Quantum Hardware for Training of Fully Visible Boltzmann Machines
Dmytro Korenkevych, Yanbo Xue, Zhengbing Bian +4
Quantum annealing (QA) is a hardware-based heuristic optimization and sampling method applicable to discrete undirected graphical models. While similar to simulated annealing, QA r…
Mapping constrained optimization problems to quantum annealing with application to fault diagnosis
Zhengbing Bian, Fabian Chudak, Robert Israel +3
Current quantum annealing (QA) hardware suffers from practical limitations such as finite temperature, sparse connectivity, small qubit numbers, and control error. We propose new a…
Experimental determination of Ramsey numbers
Zhengbing Bian, Fabian Chudak, William G. Macready +2
Ramsey theory is a highly active research area in mathematics that studies the emergence of order in large disordered structures. Ramsey numbers mark the threshold at which order f…