Jia Hui Liang
Jia Hui Liang
Verified email at gsd.uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Learning rate based branching heuristic for SAT solvers
JH Liang, V Ganesh, P Poupart, K Czarnecki
International Conference on Theory and Applications of Satisfiability …, 2016
1422016
Clafer tools for product line engineering
M Antkiewicz, K Bąk, A Murashkin, R Olaechea, JH Liang, K Czarnecki
Proceedings of the 17th international software product line conference co …, 2013
672013
Exponential recency weighted average branching heuristic for sat solvers.
JH Liang, V Ganesh, P Poupart, K Czarnecki
AAAI, 3434-3440, 2016
632016
SAT-based analysis of large real-world feature models is easy
JH Liang, V Ganesh, K Czarnecki, V Raman
Proceedings of the 19th International Conference on Software Product Line …, 2015
382015
Understanding VSIDS branching heuristics in conflict-driven clause-learning SAT solvers
JH Liang, V Ganesh, E Zulkoski, A Zaman, K Czarnecki
Haifa Verification Conference, 225-241, 2015
372015
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
J Guo, JH Liang, K Shi, D Yang, J Zhang, K Czarnecki, V Ganesh, H Yu
Software & Systems Modeling 18 (2), 1447-1466, 2019
332019
An empirical study of branching heuristics through the lens of global learning rate
JH Liang, P Poupart, K Czarnecki, V Ganesh
International conference on theory and applications of satisfiability …, 2017
322017
Machine learning-based restart policy for CDCL SAT solvers
JH Liang, C Oh, M Mathew, C Thomas, C Li, V Ganesh
International Conference on Theory and Applications of Satisfiability …, 2018
232018
Maple-COMSPS, MapleCOMSPS LRB, MapleCOMSPS CHB
JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart
SAT Competition, 52, 2016
222016
Adaptive restart and CEGAR-based solver for inverting cryptographic hash functions
S Nejati, JH Liang, C Gebotys, K Czarnecki, V Ganesh
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2017
192017
Zulkoski, Atulan Zaman, and Krzysztof Czarnecki. Understanding VSIDS branching heuristics in conflict-driven clause-learning SAT solvers
JH Liang, V Ganesh
Hardware and Software: Verification and Testing: Haifa Verification …, 2015
182015
Automated decomposition and allocation of automotive safety integrity levels using exact solvers
A Murashkin, LS Azevedo, J Guo, E Zulkoski, JH Liang, K Czarnecki, ...
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2015
152015
Maple-comsps lrb vsids and maplecomsps chb vsids
JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart
SAT Competition 2017, 1, 2017
142017
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
JA Ross, A Murashkin, JH Liang, M Antkiewicz, K Czarnecki
Software & Systems Modeling 18 (1), 739-767, 2019
132019
A propagation rate based splitting heuristic for divide-and-conquer solvers
S Nejati, Z Newsham, J Scott, JH Liang, C Gebotys, P Poupart, V Ganesh
International Conference on Theory and Applications of Satisfiability …, 2017
132017
SATGraf: Visualizing the evolution of SAT formula structure in solvers
Z Newsham, W Lindsay, V Ganesh, JH Liang, S Fischmeister, ...
International Conference on Theory and Applications of Satisfiability …, 2015
122015
The effect of structural measures and merges on SAT solver performance
E Zulkoski, R Martins, CM Wintersteiger, JH Liang, K Czarnecki, ...
International Conference on Principles and Practice of Constraint …, 2018
42018
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems (SoSYM abstract)
JA Ross, A Murashkin, JH Liang, M Antkiewicz, K Czarnecki
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
32017
SATGraf: Visualizing community structure in boolean SAT instances
Z Newsham, W Lindsay, JH Liang, K Czarnecki, S Fischmeister, ...
32014
Correcting Clafer models with automatic analysis
J Liang
32012
The system can't perform the operation now. Try again later.
Articles 1–20