Theory and Applications of Satisfiability Testing – SAT 2016 Nadia Creignou & Daniel Le Berre의 도서 더 보기

Complexity of Constraints

2008년