HOME
HELP
PREFERENCES
Creators
Search
Titles
Creators
Volume
Phrases
A
B
C
D
E
F
G
H
I-J
K
L
M
N-O
P
Q-R
S
T-V
W
X-Z
H. Jia
H. Jia
Hiding Satisfying Assignments: Two are Better than One
- D. Achlioptas, H. Jia and C. Moore
H. Jia
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively
- H. Jia, C. Moore and D. Strain