Daoyun Xu

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 20

Top Topics

Phase Transition

Satisfiability Problem

Top Venues

Frontiers Comput. Sci.

计算机科学

Comput. Informatics

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)
Yongping Wang, Daoyun Xu, Jincheng Zhou
On the upper bounds of (1,0)-super solutions for the regular balanced random (k,2s)-SAT problem. Frontiers Comput. Sci. 18 (4) (2024)
Yongping Wang, Daoyun Xu, Jincheng Zhou
On the upper bounds of (1,0)-super solutions for the regular balanced random (k,2s)-SAT problem. Frontiers Comput. Sci. 18 (4) (2024)
Xiaoling Mo, Daoyun Xu, Kai Yan, Zaijun Zhang
Satisfiability threshold of the random regular (s, c, k)-SAT problem. Frontiers Comput. Sci. 16 (3) (2022)
Zaijun Zhang, Daoyun Xu, Jincheng Zhou
An algorithm for solving satisfiability problem based on the structural information of formulas. Frontiers Comput. Sci. 15 (6) (2021)
Xiaoling Mo, Daoyun Xu, Xi Wang
The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem. IEEE Access 9 (2021)
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)
Haiyue Zhang, Daoyun Xu, Yongbin Qin
A Logarithmic Function-Based Novel Representation Algorithm for Image Classification. Traitement du Signal 38 (2) (2021)
Zaijun Zhang, Daoyun Xu, Jincheng Zhou
A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form. Entropy 23 (3) (2021)
Xiaoling Mo, Daoyun Xu, Zufeng Fu
The Convergence of a Cooperation Markov Decision Process System. Entropy 22 (9) (2020)
Zufeng Fu, Daoyun Xu
Uniquely Satisfiable d-Regular (k, s)-SAT Instances. Entropy 22 (5) (2020)
Yongping Wang, Daoyun Xu
Properties of the satisfiability threshold of the strictly d-regular random (3, 2s)-SAT problem. Frontiers Comput. Sci. 14 (6) (2020)
Zufeng Fu, Daoyun Xu, Yongping Wang
(1, 0)-Super Solutions of (k, s)-CNF Formula. Entropy 22 (2) (2020)
Haiyue Zhang, Daoyun Xu, Yongbin Qin
Weighted Image Averaging Based Anisotropic Diffusion Denoising Method for Ultrasound Thyroid Image. J. Medical Imaging Health Informatics 10 (2) (2020)
Guangwei She, Daoyun Xu
用于求解正则(3, 4)-SAT实例集的修正警示传播算法 (Modified Warning Propagation Algorithm for Solving Regular (3, 4)-SAT Instance Sets). 计算机科学 45 (11) (2018)
Zufeng Fu, Daoyun Xu
Exploiting context for people detection in crowded scenes. J. Electronic Imaging 27 (04) (2018)
Youjun Lu, Daoyun Xu, Jincheng Zhou
Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule. NCTCS (2017)
Jiayin Wei, Daoyun Xu, Yongbin Qin, Ruizhang Huang
On-Line Load Balancing with Task Buffer. Comput. Informatics 36 (5) (2017)
Yong Xu, Jixiang Dong, Bob Zhang, Daoyun Xu
Background modeling methods in video analysis: A review and comparative evaluation. CAAI Trans. Intell. Technol. 1 (1) (2016)
Mingming Zhang, Daoyun Xu
正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem). 计算机科学 43 (4) (2016)
Jiayin Wei, Yongbin Qin, Daoyun Xu
一种求解置换Flow Shop调度问题的DRPFSP算法 (DRPFSP Algorithm for Solving Permutation Flow Shop Scheduling Problem). 计算机科学 42 (7) (2015)
Jiayin Wei, Daoyun Xu, Yongbin Qin, Jincheng Zhou
A heuristic algorithm for solving the problem of load balancing. ICACI (2015)
Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
Stable analysis for neural networks: Set-valued mapping method. Appl. Math. Comput. 220 (2013)
Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
Piecewise Convex Technique for the Stability Analysis of Delayed Neural Network. J. Appl. Math. 2013 (2013)
Zixin Liu, Jian Yu, Daoyun Xu
Vector Wirtinger-type inequality and the stability analysis of delayed neural network. Commun. Nonlinear Sci. Numer. Simul. 18 (5) (2013)
Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
Triple-integral method for the stability analysis of delayed neural networks. Neurocomputing 99 (2013)
Kai Peng, Daoyun Xu
Modeling of Potential Customers Identification Based on Correlation Analysis and Decision Tree. ISNN (3) (2011)
Yongbin Qin, Daoyun Xu
Maximum Renamable Horn and Maximum Independent Sets. CSIE (1) (2009)
Tianyan Deng, Daoyun Xu
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). FAW (2008)
Tianyan Deng, Daoyun Xu
Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems. ICYCS (2008)
Qingshun Zhang, Daoyun Xu
>=3. TAMC (2007)
Ping Gong, Daoyun Xu
A New Lower Bound of Critical Function for (k, s)-SAT. TAMC (2006)
Hans Kleine Büning, Daoyun Xu
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas. Ann. Math. Artif. Intell. 43 (1) (2005)
Daoyun Xu, Zhi-Hong Tao
Complexities of Homomorphism and Isomorphism for Definite Logic Programs. J. Comput. Sci. Technol. 20 (6) (2005)
Daoyun Xu, Decheng Ding, Mingyi Zhang
Characterization of an Auto-Compatible Default Theory. J. Comput. Sci. Technol. 18 (3) (2003)
Daoyun Xu, Decheng Ding
-normal and extended stratified logic program. Sci. China Ser. F Inf. Sci. 45 (4) (2002)