Guangyan 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
SAT Requires Exhaustive Search	2023-02-19	Paper
Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length Physica A	2023-01-17	Paper
Clustering phase of a general constraint satisfaction problem model \(d\)-\(k\)-CSP Physica A	2022-08-15	Paper
Hiding solutions in model RB: Forced instances are almost as hard as unforced ones	2021-03-11	Paper
Exact Phase Transitions of Model RB with Slower-Growing Domains	2020-11-05	Paper
The random 2-SAT partition function	2020-02-10	Paper
Super solutions of random \((3 + p)\)-SAT Theoretical Computer Science	2019-10-07	Paper
On the lower bounds of \((1, 0)\)-super solutions for random \(k\)-SAT International Journal of Foundations of Computer Science	2019-06-24	Paper
On the Lower Bounds of Random Max 3 and 4-SAT Frontiers in Algorithmics	2019-04-26	Paper
Dynamics of predator-prey \(n\)-species models with density dependent diffusion	2018-10-22	Paper
A sharp threshold of propagation connectivity for mixed random hypergraphs	2018-09-14	Paper
On the lower bounds of random Max 3 and 4-SAT Journal of Combinatorial Optimization	2018-05-24	Paper
The scaling window of the model \(d\)-\(k\)-CSP Journal of Mathematical Analysis and Applications	2015-11-10	Paper
On the constraint length of random \(k\)-CSP Journal of Combinatorial Optimization	2015-07-01	Paper
Attribute level lineage and probabilistic computation of uncertain data Journal of Software	2014-11-03	Paper
A new upper bound for random \((2 + p)\)-SAT by flipping two variables International Journal of Foundations of Computer Science	2014-03-10	Paper

Research outcomes over time

This page was built for person: Guangyan Zhou