Nadia Creignou · 3 obras en el catálogoObrasTTheory and Applications of Satisfiability Testing SAT 2016Theory and Applications of Satisfiability Testing SAT 2016CComplexity of ConstraintsComplexity of ConstraintsComplexity classifications of Boolean constraint satisfaction problems
TTheory and Applications of Satisfiability Testing SAT 2016Theory and Applications of Satisfiability Testing SAT 2016