SAT Modulo Theories

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 Modulo Theories