Travelled to:1 × USA
Collaborated with:V.Ganesh K.Czarnecki V.Raman
Talks about:analysi (1) featur (1) world (1) model (1) real (1) larg (1) easi (1) base (1) sat (1)
Person: Jia Hui (Jimmy) Liang
DBLP: Liang:Jia_Hui_(Jimmy)
Contributed to:
2015Wrote 1 papers:
- SPLC-2015-LiangGCR #analysis #feature model #modelling #satisfiability #scalability
- SAT-based analysis of large real-world feature models is easy (JH(L, VG, KC, VR), pp. 91–100.