Search Results - Nadia Creignou

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

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

    Published in Logical Methods in Computer Science (2018-10-01)
    Get full text
    Article


  2. 2

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

    Get full text
    Article


  3. 3

    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 in Logical Methods in Computer Science (2012-09-01)
    Get full text
    Article


Search Tools: