Follow
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
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
2472016
Exponential recency weighted average branching heuristic for SAT solvers
J Liang, V Ganesh, P Poupart, K Czarnecki
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
1062016
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
872013
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
832015
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, 1447-1466, 2019
692019
Machine learning-based restart policy for CDCL SAT solvers
JH Liang, C Oh, M Mathew, C Thomas, C Li, V Ganesh
Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018
562018
Understanding VSIDS branching heuristics in conflict-driven clause-learning SAT solvers
JH Liang, V Ganesh, E Zulkoski, A Zaman, K Czarnecki
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
552015
An empirical study of branching heuristics through the lens of global learning rate
JH Liang, HG VK, P Poupart, K Czarnecki, V Ganesh
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
522017
Maple-comsps, maplecomsps lrb, maplecomsps chb
JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart
Proceedings of SAT Competition 2016, 2016
462016
Adaptive restart and CEGAR-based solver for inverting cryptographic hash functions
S Nejati, JH Liang, C Gebotys, K Czarnecki, V Ganesh
Verified Software. Theories, Tools, and Experiments: 9th International …, 2017
342017
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 9434, 225-241, 2015
302015
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, 739-767, 2019
252019
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
Z Newsham, W Lindsay, V Ganesh, JH Liang, S Fischmeister, ...
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
242015
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
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
232017
Maple-comsps lrb vsids and maplecomsps chb vsids
JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart
Proc. of SAT Competition, 20-21, 2017
192017
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
182015
The effect of structural measures and merges on SAT solver performance
E Zulkoski, R Martins, CM Wintersteiger, JH Liang, K Czarnecki, ...
Principles and Practice of Constraint Programming: 24th International …, 2018
142018
Learning-sensitive backdoors with restarts
E Zulkoski, R Martins, CM Wintersteiger, R Robere, JH Liang, K Czarnecki, ...
Principles and Practice of Constraint Programming: 24th International …, 2018
82018
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
The system can't perform the operation now. Try again later.
Articles 1–20