Detail

Publication date: 1 de June, 2021

PhD - SAT Encodings of Finite CSPs


Startdate 01/10/2010
Enddate 26/02/2015
State Concluded