Guoxia Nie

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 2

Top Topics

Constraint Satisfaction

Randomly Generated

Cellular Automata

Top Venues

Frontiers Comput. Sci.

Publications

Guoxia Nie, Daoyun Xu, Xi Wang, Zaijun Zhang
Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula. Frontiers Comput. Sci. 18 (1) (2024)
Guoxia Nie, Daoyun Xu, Xiaofeng Wang, Xi Wang
The Phase Transition Analysis for the Random Regular Exact 2-(d, k)-SAT Problem. Symmetry 13 (7) (2021)