Showing 1 - 6 results of 6 for search 'Daoyun Xu', query time: 0.02s
Refine Results
-
1
Uniquely Satisfiable <i>d</i>-Regular (<i>k</i>,<i>s</i>)-SAT Instances by Zufeng Fu, Daoyun Xu
Published 2020-05-01
Article -
2
(1,0)-Super Solutions of (<i>k</i>,<i>s</i>)-CNF Formula by Zufeng Fu, Daoyun Xu, Yongping Wang
Published 2020-02-01
Article -
3
A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form by Zaijun Zhang, Daoyun Xu, Jincheng Zhou
Published 2021-03-01
Article -
4
The Convergence of a Cooperation Markov Decision Process System by Xiaoling Mo, Daoyun Xu, Zufeng Fu
Published 2020-08-01
Article -
5
The Phase Transition Analysis for the Random Regular Exact 2-(<i>d</i>, <i>k</i>)-SAT Problem by Guoxia Nie, Daoyun Xu, Xiaofeng Wang, Xi Wang
Published 2021-07-01
Article -
6
The Transition Phenomenon of (1,0)-<i>d</i>-Regular (<i>k</i>, <i>s</i>)-SAT by Zufeng Fu, Haiying Wang, Jinjiang Liu, Jincheng Zhou, Daoyun Xu, Yihai Pi
Published 2022-08-01
Article