Jia Hui (Jimmy) Liang

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 3

Top Topics

Structural Models

Top Venues

Publications

Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman, Krzysztof Czarnecki
SAT-based Analysis of Large Real-world Feature Models is Easy. CoRR (2015)
Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman
SAT-based analysis of large real-world feature models is easy. SPLC (2015)
Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. CoRR (2015)
Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, Krzysztof Czarnecki
Clafer tools for product line engineering. SPLC Workshops (2013)