Jia Hui Liang

Identifiers

• name variant Jia Hui Liang 0.60 · backfill

Papers (3)

1. Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions cs.CR · 2016 · author #2
2. Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers cs.LO · 2015 · author #1
3. SAT-based Analysis of Large Real-world Feature Models is Easy cs.SE · 2015 · author #1

Mentions

• 1506.08905 #1 · backfill · confidence 0.70 Jia Hui Liang
• 1506.05198 #1 · backfill · confidence 0.70 Jia Hui Liang

Frequent Coauthors

• Krzysztof Czarnecki 3 shared papers
• Vijay Ganesh 3 shared papers
• Atulan Zaman 1 shared papers
• Catherine Gebotys 1 shared papers
• Ed Zulkoski 1 shared papers
• Saeed Nejati 1 shared papers
• Venkatesh Raman 1 shared papers