Random 2-SAT: results and problems
Theoretical Computer Science - Phase transitions in combinatorial problems
A note on random 2-SAT with prescribed literal degrees
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Generalized satisfiability problems: minimal elements and phase transitions
Theoretical Computer Science
The probabilistic analysis of a greedy satisfiability algorithm
Random Structures & Algorithms
On an online random k-SAT model
Random Structures & Algorithms
Threshold behaviors of a random constraint satisfaction problem with exact phase transitions
Information Processing Letters
Hi-index | 0.89 |