Jia Hui (Jimmy) Liang

According to our database1, Jia Hui (Jimmy) Liang authored at least 17 papers between 2013 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems.
Software and Systems Modeling, 2019

SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
Software and Systems Modeling, 2019

2018
Machine Learning for SAT Solvers.
PhD thesis, 2018

Machine Learning-Based Restart Policy for CDCL SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Learning-Sensitive Backdoors with Restarts.
Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2017
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract).
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016
Learning Rate Based Branching Heuristic for SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
SAT-based analysis of large real-world feature models is easy.
Proceedings of the 19th International Conference on Software Product Line, 2015

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Performance prediction upon toolchain migration in model-based software.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Proceedings of the Hardware and Software: Verification and Testing, 2015

2013
Clafer tools for product line engineering.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013


  Loading...