Quantum Annealing for SAT Solving
PhD position in ICT available in Trento (Italy) on
"Quantum Annealing for SAT Solving"
under the supervision of prof. Roberto Sebastiani (DISI, University of Trento)
in collaboration with D-Wave Systems Inc. (http://www.dwavesys.com)
sponsored by Q@TN Project (https://www.quantumtrento.eu)
!! Deadline: June 15 th , 2020 !!
http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.pdf
- Read more about Quantum Annealing for SAT Solving
- Log in or register to post comments
