| Publication | Date of Publication | Type |
|---|
| Convergence analysis of belief propagation algorithm for satisfiability problem | 2021-09-29 | Paper |
| Universal circuits for quantum teleportation | 2020-08-12 | Paper |
Wirtinger-type inequality and the stability analysis of delayed Lur'e system
Discrete Dynamics in Nature and Society | 2019-07-05 | Paper |
On-Line Load Balancing with Task Buffer
Computing and Informatics | 2018-11-29 | Paper |
| Convergence of the belief propagation algorithm for RB model instances | 2017-07-14 | Paper |
Stable analysis for neural networks: set-valued mapping method
Applied Mathematics and Computation | 2016-01-18 | Paper |
Existence and stability analysis of optimal control
Optimal Control Applications & Methods | 2014-12-22 | Paper |
Convergence of warning propagation algorithms for random satisfiable instances
Journal of Software | 2014-02-28 | Paper |
Piecewise convex technique for the stability analysis of delayed neural network
Journal of Applied Mathematics | 2013-09-09 | Paper |
Vector Wirtinger-type inequality and the stability analysis of delayed neural network
Communications in Nonlinear Science and Numerical Simulation | 2013-01-25 | Paper |
| Computability in analysis | 2013-01-24 | Paper |
| scientific article; zbMATH DE number 6129640 (Why is no real title available?) | 2013-01-24 | Paper |
Some properties of pigeon-hole formulas
Journal of Software | 2012-10-05 | Paper |
Strips minimization in two-dimensional cutting stock of circular items
Computers & Operations Research | 2009-11-27 | Paper |
| A recursive algorithm for optimal guillotine-cutting of equal rectangles | 2009-07-22 | Paper |
NP-Completeness of (k-SAT,r-UNk-SAT) and (LSAT ≥ k ,r-UNLSAT ≥ k )
Frontiers in Algorithmics | 2008-06-19 | Paper |
| The minimization of a kind of non-deterministic finite automata | 2008-06-03 | Paper |
| The complexity of renamings for formulas in MAX and MARG | 2008-01-14 | Paper |
The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
FC-normal and extended stratified logic program
Science in China. Series F | 2007-02-20 | Paper |
| Complexities of renaming for formulas in MAX(1) and MARG(1) | 2006-10-04 | Paper |
| Applications of minimal unsatisfiable formulas to polynomially reduction for formulas | 2006-06-19 | Paper |
| scientific article; zbMATH DE number 2201270 (Why is no real title available?) | 2005-09-01 | Paper |
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas
Annals of Mathematics and Artificial Intelligence | 2005-05-13 | Paper |
| scientific article; zbMATH DE number 2165693 (Why is no real title available?) | 2005-05-06 | Paper |
Characterization of an auto-compatible default theory
Journal of Computer Science and Technology | 2003-12-09 | Paper |
