SAT Encoding Exercises for the Information Logics Course (LI) Q2 2015-2016 of the Degree in Computer Science from the Barcelona School of Informatics (FIB UPC)
albertsgrc/li-sat-encoding
SAT Encoding Exercises for the Information Logics Course (LI) Q2 2015-2016 of the Degree in Computer Science from the Barcelona School of Informatics (FIB UPC)
Prolog