J. Liang

Learning Rate Based Branching Heuristic for SAT Solvers

Krzysztof Czarnecki, Pascal Poupart, Jia Hui Liang, 2016, SAT.

Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers

Alexandr Murashkin, Krzysztof Czarnecki, Luís Silva Azevedo, 2015 .

SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines

Krzysztof Czarnecki, Huiqun Yu, Jingsong Zhang, 2019, Software & Systems Modeling.

SAT-based analysis of large real-world feature models is easy

Krzysztof Czarnecki, Jia Hui Liang, Venkatesh Raman, 2015, SPLC.

Machine Learning-Based Restart Policy for CDCL SAT Solvers

Chunxiao Li, Jia Hui Liang, Vijay Ganesh, 2018, SAT.

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers pdf

Krzysztof Czarnecki, Jia Hui Liang, Vijay Ganesh, 2015, Haifa Verification Conference.

Machine Learning for SAT Solvers

Jia Hui Liang, J. Liang, 2018 .

Exponential Recency Weighted Average Branching Heuristic for SAT Solvers

Krzysztof Czarnecki, Pascal Poupart, Jia Hui Liang, 2016, AAAI.

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions

Krzysztof Czarnecki, Catherine H. Gebotys, Jia Hui Liang, 2016, VSTTE.

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate

Krzysztof Czarnecki, Pascal Poupart, Jia Hui Liang, 2017, SAT.

Performance prediction upon toolchain migration in model-based software

Krzysztof Czarnecki, Sebastian Fischmeister, Aymen Ketata, 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers

Krzysztof Czarnecki, Sebastian Fischmeister, Jia Hui Liang, 2015, SAT.

Clafer tools for product line engineering

Alexandr Murashkin, Michal Antkiewicz, Krzysztof Czarnecki, 2013, SPLC '13 Workshops.