Search results for: Daijue Tang
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables > 292-305
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 8. QBF > 368-381