Bokus

Nadia Creignou

Visar alla böcker från författaren Nadia Creignou. Handla med fri frakt och snabb leverans.

  1. Theory and Applications of Satisfiability Testing – SAT 2016

    Theory and Applications of Satisfiability Testing – SAT 2016

    2016

  2. Complexity Classifications of Boolean Constraint Satisfaction Problems

    Complexity Classifications of Boolean Constraint Satisfaction Problems

    2001

  3. Complexity of Constraints

    Complexity of Constraints

    2008