A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryH. Jia
View the documentH. Jia Hiding Satisfying Assignments: Two are Better than One - D. Achlioptas, H. Jia and C. Moore
View the documentH. Jia Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively - H. Jia, C. Moore and D. Strain