![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Daoyun Xu
Person information
Refine list
![note](https://dblp.uni-trier.de./img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j27]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): 181405 (2024) - [j26]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) - 2022
- [j25]Xiaoling Mo, Daoyun Xu, Kai Yan, Zaijun Zhang:
Satisfiability threshold of the random regular (s, c, k)-SAT problem. Frontiers Comput. Sci. 16(3): 163408 (2022) - 2021
- [j24]Xiaoling Mo
, Daoyun Xu, Xi Wang:
The Phase Transition Analysis for Random Regular Exact (s, c, k) - SAT Problem. IEEE Access 9: 26664-26673 (2021) - [j23]Zaijun Zhang
, Daoyun Xu, Jincheng Zhou
:
A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form. Entropy 23(3): 303 (2021) - [j22]Zaijun Zhang, Daoyun Xu, Jincheng Zhou
:
An algorithm for solving satisfiability problem based on the structural information of formulas. Frontiers Comput. Sci. 15(6): 156405 (2021) - [j21]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): 1231 (2021) - [j20]Haiyue Zhang, Daoyun Xu, Yongbin Qin:
A Logarithmic Function-Based Novel Representation Algorithm for Image Classification. Traitement du Signal 38(2): 291-297 (2021) - 2020
- [j19]Zufeng Fu
, Daoyun Xu, Yongping Wang:
(1, 0)-Super Solutions of (k, s)-CNF Formula. Entropy 22(2): 253 (2020) - [j18]Zufeng Fu
, Daoyun Xu:
Uniquely Satisfiable d-Regular (k, s)-SAT Instances. Entropy 22(5): 569 (2020) - [j17]Xiaoling Mo
, Daoyun Xu, Zufeng Fu
:
The Convergence of a Cooperation Markov Decision Process System. Entropy 22(9): 955 (2020) - [j16]Yongping Wang, Daoyun Xu:
Properties of the satisfiability threshold of the strictly d-regular random (3, 2s)-SAT problem. Frontiers Comput. Sci. 14(6): 146404 (2020) - [j15]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): 380-390 (2020)
2010 – 2019
- 2018
- [j14]Zufeng Fu
, Daoyun Xu:
Exploiting context for people detection in crowded scenes. J. Electronic Imaging 27(04): 043028 (2018) - [j13]Guangwei She, Daoyun Xu:
用于求解正则(3, 4)-SAT实例集的修正警示传播算法 (Modified Warning Propagation Algorithm for Solving Regular (3, 4)-SAT Instance Sets). 计算机科学 45(11): 312-317 (2018) - 2017
- [j12]Jiayin Wei, Daoyun Xu, Yongbin Qin, Ruizhang Huang:
On-Line Load Balancing with Task Buffer. Comput. Informatics 36(5): 1207-1234 (2017) - [c8]Youjun Lu, Daoyun Xu, Jincheng Zhou
:
Degree Correlations in Two Layer Growth Model with Nonlinear Preferential Attachment Rule. NCTCS 2017: 167-181 - 2016
- [j11]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): 43-60 (2016) - [j10]Mingming Zhang, Daoyun Xu:
正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem). 计算机科学 43(4): 33-36 (2016) - 2015
- [j9]Jiayin Wei, Yongbin Qin, Daoyun Xu:
一种求解置换Flow Shop调度问题的DRPFSP算法 (DRPFSP Algorithm for Solving Permutation Flow Shop Scheduling Problem). 计算机科学 42(7): 68-73 (2015) - [c7]Jiayin Wei, Daoyun Xu, Yongbin Qin, Jincheng Zhou
:
A heuristic algorithm for solving the problem of load balancing. ICACI 2015: 89-96 - 2013
- [j8]Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng:
Stable analysis for neural networks: Set-valued mapping method. Appl. Math. Comput. 220: 46-52 (2013) - [j7]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): 1246-1257 (2013) - [j6]Zixin Liu
, Jian Yu, Daoyun Xu, Dingtao Peng
:
Triple-integral method for the stability analysis of delayed neural networks. Neurocomputing 99: 283-289 (2013) - [j5]Zixin Liu, Jian Yu, Daoyun Xu, Dingtao Peng
:
Piecewise Convex Technique for the Stability Analysis of Delayed Neural Network. J. Appl. Math. 2013: 710741:1-710741:10 (2013) - 2011
- [c6]Kai Peng, Daoyun Xu:
Modeling of Potential Customers Identification Based on Correlation Analysis and Decision Tree. ISNN (3) 2011: 566-575
2000 – 2009
- 2009
- [c5]Yongbin Qin, Daoyun Xu:
Maximum Renamable Horn and Maximum Independent Sets. CSIE (1) 2009: 743-747 - 2008
- [c4]Tianyan Deng, Daoyun Xu:
NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k). FAW 2008: 79-88 - [c3]Tianyan Deng, Daoyun Xu:
Hardness of Approximation Algorithms on k-SAT and (k, s)-SAT Problems. ICYCS 2008: 60-64 - 2007
- [c2]Qingshun Zhang, Daoyun Xu:
The Existence of Unsatisfiable Formulas in k-LCNF for k>=3. TAMC 2007: 616-623 - 2006
- [c1]Ping Gong, Daoyun Xu:
A New Lower Bound of Critical Function for (k, s)-SAT. TAMC 2006: 274-282 - 2005
- [j4]Hans Kleine Büning, Daoyun Xu:
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas. Ann. Math. Artif. Intell. 43(1): 113-127 (2005) - [j3]Daoyun Xu, Zhi-Hong Tao:
Complexities of Homomorphism and Isomorphism for Definite Logic Programs. J. Comput. Sci. Technol. 20(6): 758-762 (2005) - 2003
- [j2]Daoyun Xu, Decheng Ding, Mingyi Zhang:
Characterization of an Auto-Compatible Default Theory. J. Comput. Sci. Technol. 18(3): 393-398 (2003) - 2002
- [j1]Daoyun Xu, Decheng Ding:
FC-normal and extended stratified logic program. Sci. China Ser. F Inf. Sci. 45(4): 259-272 (2002)
Coauthor Index
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint