Stefano Varotti

According to our database, Stefano Varotti authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results.

Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti

Inf. Comput., 2020

2019

Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing.

Stefano Varotti

PhD thesis, 2019

2017

Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report.

Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017