Guangyan Zhou

Available identifiers

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	2023-01-17	Paper
Clustering phase of a general constraint satisfaction problem model \(d\)-\(k\)-CSP	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	2019-10-07	Paper
On the Lower Bounds of (1,0)-Super Solutions for Random k-SAT	2019-06-24	Paper
On the Lower Bounds of Random Max 3 and 4-SAT	2019-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4688542	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	2018-05-24	Paper
The scaling window of the model \(d\)-\(k\)-CSP	2015-11-10	Paper
On the constraint length of random \(k\)-CSP	2015-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2924422	2014-11-03	Paper
A NEW UPPER BOUND FOR RANDOM (2 + p)-SAT BY FLIPPING TWO VARIABLES	2014-03-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Guangyan Zhou