Experimental observation of the SAT-UNSAT phase transition of the random 3-SAT problem from its model perspective
Fields of Study & Subjects
Constraint Satisfaction and Optimization
Theoretical and Computational Physics
Advanced Graph Theory Research
Publication details
- Journal / source
- Frontiers of Computer Science
- Volume
- 20
- Issue
- 9
- Publication date
- 12 February 2026
- Language
- EN