Showing 1 - 3 results of 3 for search 'Nadia Creignou', query time: 0.02s
Refine Results
-
1
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? by Nadia Creignou, Reinhard Pichler, Stefan Woltran
Published 2018-10-01
Article -
2
Expected number of locally maximal solutions for random Boolean CSPs by Nadia Creignou, Hervé Daudé, Olivier Dubois
Published 2007-01-01
Article -
3