SAT

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 !!

Subscribe to RSS - SAT