Publications
3 shownAnalytic and Algorithmic Solution of Random Satisfiability Problems
We study the satisfiability of random Boolean expressions built from many clauses with K variables per clause (K-satisfiability). Expressions with a ratio α of clauses to variab...
Frequent Co-Authors
Researcher Info
- h-index
- 3
- Publications
- 3
- Citations
- 1,354
- Institution
- Centre National de la Recherche Scientifique
External Links
Identifiers
- ORCID
- 0000-0001-6500-5222
Impact Metrics
h-index
3
h-index: Number of publications with at least h citations each.