Solving hard industrial combinatorial problems with SAT

 

Documents amb el text complet d'aquesta tesi

Aquesta tesi apareix a les col·leccions següents