Junping Zhou

Available identifiers

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	2021-11-05	Paper
Local search for diversified top-\(k\) clique search problem	2020-01-27	Paper
Phase Transition for Maximum Not-All-Equal Satisfiability	2019-04-26	Paper
An efficient heuristic algorithm for solving connected vertex cover problem	2019-02-08	Paper
Local search algorithm for solving \#SMT problem	2017-05-17	Paper
New worst-case upper bound for counting exact satisfiability	2015-01-21	Paper
Phase transitions of contingent planning problem	2014-11-24	Paper
A heuristic survey propagation algorithm for solving QBF problems	2012-10-05	Paper
Phase transitions of EXPSPACE-complete problems: a further step	2012-08-30	Paper
The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter	2012-07-16	Paper
A perturb biogeography based optimization with mutation for global numerical optimization	2011-10-11	Paper
Phase transitions of EXPSPACE-complete problems	2011-01-19	Paper

This page was built for person: Junping Zhou