William G. Macready

Available identifiers

zbMath Open macready.william-gMaRDI QIDQ331394

List of research outcomes

Publication	Date of Publication	Type
Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results	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	2016-10-27	Paper
A practical heuristic for finding graph minors	2014-06-10	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
What makes an optimization problem hard?.	2008-12-21	Paper
An efficient method to estimate bagging's generalization error	1999-05-24	Paper

Research outcomes over time

This page was built for person: William G. Macready