Login / Signup
Stefano Varotti
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Np Complete Problems
Boolean Optimization
Sat Solvers
Top Venues
CoRR
Inf. Comput.
FroCoS
</>
Publications
</>
Zhengbing Bian
,
Fabián A. Chudak
,
William G. Macready
,
Aidan Roy
,
Roberto Sebastiani
,
Stefano Varotti
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results.
Inf. Comput.
275 (2020)
Zhengbing Bian
,
Fabián A. Chudak
,
William G. Macready
,
Aidan Roy
,
Roberto Sebastiani
,
Stefano Varotti
Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results.
CoRR
(2018)
Zhengbing Bian
,
Fabián A. Chudak
,
William G. Macready
,
Aidan Roy
,
Roberto Sebastiani
,
Stefano Varotti
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.
FroCoS
(2017)