The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Jia Hui Liang Jia Hui (Jimmy) Liang ( http://dblp.L3S.de/Authors/Jia_Hui_Liang )

Publication years (Num. hits)
2013-2018 (18) 2019 (2)
Publication types (Num. hits)
article(5) inproceedings(14) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 21 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianmei Guo, Jia Hui Liang, Kai Shi 0006, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh Machine Learning-Based Restart Policy for CDCL SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh The Effect of Structural Measures and Merges on SAT Solver Performance. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh Learning-Sensitive Backdoors with Restarts. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang Machine Learning for SAT Solvers. Search on Bibsonomy 2018   RDF
1Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). Search on Bibsonomy MoDELS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki Learning Rate Based Branching Heuristic for SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman 0001, Krzysztof Czarnecki SAT-based Analysis of Large Real-world Feature Models is Easy. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman 0001 SAT-based analysis of large real-world feature models is easy. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aymen Ketata, Carlos Moreno 0002, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki Performance prediction upon toolchain migration in model-based software. Search on Bibsonomy MoDELS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, Krzysztof Czarnecki Clafer tools for product line engineering. Search on Bibsonomy SPLC Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license