Analytic 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...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 1,038
- Institution
- Centre National de la Recherche Scientifique
External Links
Identifiers
- ORCID
- 0000-0002-1221-5207
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.