Showing
1 - 3
results of
3
Skip to content
Home
Book Bag:
0
items
(Full)
Language
English
日本語
中文(简体)
中文(繁體)
اللغة العربية
About
All Fields
Title
Journal Title
Author
Subject
Find
Advanced
Author
Nadia Creignou
Search Results - Nadia Creignou
Showing
1 - 3
results of
3
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
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
Add to Book Bag
Remove from Book Bag
Standalone Record
2
Expected number of locally maximal solutions for random Boolean CSPs
by
Nadia Creignou
,
Hervé Daudé
,
Olivier Dubois
Published in
Discrete Mathematics & Theoretical Computer Science
(2007-01-01)
Get full text
Article
Add to Book Bag
Remove from Book Bag
Standalone Record
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
Add to Book Bag
Remove from Book Bag
Standalone Record
Search Tools:
RSS Feed