| 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 | 254 | 2016 |
| 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 | 108 | 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 | 88 | 2013 |
| 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 | 84 | 2015 |
| 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 | 69 | 2019 |
| 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 | 58 | 2018 |
| 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 | 55 | 2015 |
| 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 | 54 | 2017 |
| Maple-comsps, maplecomsps lrb, maplecomsps chb JH Liang, C Oh, V Ganesh, K Czarnecki, P Poupart Proceedings of SAT Competition 2016, 2016 | 47 | 2016 |
| 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 | 34 | 2017 |
| 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 | 30 | 2015 |
| 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 | 26 | 2019 |
| 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 | 24 | 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 Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 23 | 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 | 19 | 2017 |
| 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 | 18 | 2015 |
| 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 | 14 | 2018 |
| 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 | 8 | 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 |
| SHA-1 preimage instances for SAT S Nejati, JH Liang, V Ganesh, C Gebotys, K Czarnecki SAT COMPETITION 2017, 45, 2017 | 3 | 2017 |
