Search for dissertations about: "Nadia Creignou"

Found 1 swedish dissertation containing the words Nadia Creignou.

2. 1. Strong Partial Clones and the Complexity of Constraint Satisfaction Problems : Limitations and Applications

   Author : Victor Lagerkvist; Peter Jonsson; Christer Bäckström; Nadia Creignou; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : In this thesis we study the worst-case time complexity of the constraint satisfaction problem parameterized by a constraint language (CSP(S)), which is the problem of determining whether a conjunctive formula over S has a model. To study the complexity of CSP(S) we borrow methods from universal algebra. READ MORE