Varotti, Stefano
Varotti, Stefano
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing
2019-01-01 Varotti, Stefano
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
2020-01-01 Bian, Z.; Chudak, F.; Macready, W.; Roy, A.; Sebastiani, R.; Varotti, S.
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report
2017-01-01 Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Effectively Encoding SAT and Other Intractable Problems into Ising Models for Quantum Computing | 1-gen-2019 | Varotti, Stefano | |
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results | 1-gen-2020 | Sebastiani R.Varotti S. + | |
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report | 1-gen-2017 | Sebastiani, RobertoVarotti, Stefano + |