Showing 1 - 4 results of 4 for search 'Nadia Creignou', query time: 0.02s Refine Results
  1. 1
    Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

    Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? by Nadia Creignou, Reinhard Pichler, Stefan Woltran

    Published 2018-10-01
    Get full text
    Article
  2. 2
    Expected number of locally maximal solutions for random Boolean CSPs

    Expected number of locally maximal solutions for random Boolean CSPs by Nadia Creignou, Hervé Daudé, Olivier Dubois

    Published 2007-01-01
    Get full text
    Article
  3. 3
    Complexity classifications for different equivalence and audit problems for Boolean circuits

    Complexity classifications for different equivalence and audit problems for Boolean circuits by Elmar Böhler, Nadia Creignou, Matthias Galota, Steffen Reith, Henning Schnoor, Heribert Vollmer

    Published 2012-09-01
    Get full text
    Article
  4. 4
    Parameterised Enumeration for Modification Problems

    Parameterised Enumeration for Modification Problems by Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer

    Published 2019-09-01
    Get full text
    Article

Search Tools: