| 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 | 155 | 2016 |
| 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 | 74 | 2013 |
| 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 | 67 | 2016 |
| 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 | 40 | 2019 |
| 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 | 40 | 2015 |
| 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 | 39 | 2015 |
| 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 | 36 | 2017 |
| 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 | 26 | 2018 |
| Maple-COMSPS, MapleCOMSPS LRB, MapleCOMSPS CHB JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart Proceedings of SAT Competition 2016, 2016 | 24 | 2016 |
| 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 | 20 | 2015 |
| 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 | 19 | 2017 |
| 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 | 18 | 2019 |
| 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 | 15 | 2015 |
| 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 | 13 | 2017 |
| 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 | 13 | 2017 |
| 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 | 13 | 2015 |
| 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 | 6 | 2018 |
| 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 | 3 | 2017 |
| SATGraf: Visualizing community structure in boolean SAT instances Z Newsham, W Lindsay, JH Liang, K Czarnecki, S Fischmeister, ... | 3 | 2014 |
| Correcting Clafer models with automatic analysis J Liang | 3 | 2012 |
