William G. Macready

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results Information and Computation	2020-12-15	Paper
Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report	2018-01-04	Paper
Generalized Ramsey numbers through adiabatic quantum optimization Quantum Information Processing	2016-10-27	Paper
A practical heuristic for finding graph minors	2014-06-10	Paper
A practical heuristic for finding graph minors (available as arXiv preprint)	2014-01-01	Paper
Construction of Energy Functions for Lattice Heteropolymer Models: A Case Study in Constraint Satisfaction Programming and Adiabatic Quantum Optimization	2012-11-14	Paper
Experimental determination of Ramsey numbers	2012-01-09	Paper
Experimental determination of Ramsey numbers (available as arXiv preprint)	2012-01-01	Paper
Construction of Energy Functions for Lattice Heteropolymer Models: A Case Study in Constraint Satisfaction Programming and Adiabatic Quantum Optimization (available as arXiv preprint)	2012-01-01	Paper
What makes an optimization problem hard?. Complexity	2008-12-21	Paper
An efficient method to estimate bagging's generalization error Machine Learning	1999-05-24	Paper

Research outcomes over time

This page was built for person: William G. Macready