Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
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
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.
Titolo | Anno di pubblicazione | Autori Unitn | File |
---|---|---|---|
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report | 1-gen-2017 | Sebastiani, RobertoVarotti, Stefano + | |
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. + |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile