Junping Zhou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
LS-DTKMS: A local search algorithm for diversified top-\(k\) MaxSAT problem	2024-11-26	Paper
An improved configuration checking-based algorithm for the unicost set covering problem European Journal of Operational Research	2021-11-05	Paper
Local search for diversified top-\(k\) clique search problem Computers & Operations Research	2020-01-27	Paper
Phase Transition for Maximum Not-All-Equal Satisfiability Frontiers in Algorithmics	2019-04-26	Paper
An efficient heuristic algorithm for solving connected vertex cover problem Mathematical Problems in Engineering	2019-02-08	Paper
Local search algorithm for solving \#SMT problem	2017-05-17	Paper
New worst-case upper bound for counting exact satisfiability International Journal of Foundations of Computer Science	2015-01-21	Paper
Phase transitions of contingent planning problem Mathematical Problems in Engineering	2014-11-24	Paper
A heuristic survey propagation algorithm for solving QBF problems Journal of Software	2012-10-05	Paper
Phase transitions of EXPSPACE-complete problems: a further step International Journal of Foundations of Computer Science	2012-08-30	Paper
The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter Frontiers in Algorithmics and Algorithmic Aspects in Information and Management	2012-07-16	Paper
A perturb biogeography based optimization with mutation for global numerical optimization Applied Mathematics and Computation	2011-10-11	Paper
Phase transitions of EXPSPACE-complete problems International Journal of Foundations of Computer Science	2011-01-19	Paper

Research outcomes over time

This page was built for person: Junping Zhou