Aidan Roy
According to our database1,
Aidan Roy
authored at least 12 papers
between 2007 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results.
Inf. Comput., 2020
2017
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
2016
Quantum Inf. Process., 2016
Mapping Constrained Optimization Problems to Quantum Annealing with Application to Fault Diagnosis.
Frontiers ICT, 2016
2014
2011
2010
2009
2008
2007
Discret. Math., 2007