Liang, J. H. (2018). Machine Learning for SAT Solvers Waterloo, ON, Canada. Retrieved from http://hdl.handle.net/10012/14207 (Original work published 2018)
Reference author: Jia Liang
First name
Jia
Middle name
Hui
Last name
Liang
Zulkoski, E., Martins, R., Wintersteiger, C., Robere, R., Liang, J. H., Czarnecki, K., & Ganesh, V. (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance Presented at the Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance conference. EPIC. (Original work published 2017)
Ross, J., Murashkin, A., Liang, J. H., Antkiewicz, M., & Czarnecki, K. (2017). Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems Software and Systems Modeling. https://doi.org/10.1007/s10270-017-0592-y
Liang, J. H., Ganesh, V., Poupart, P., & Czarnecki, K. (2016). Exponential Recency Weighted Average Branching Heuristic for SAT Solvers Presented at the Exponential Recency Weighted Average Branching Heuristic for SAT Solvers conference. Retrieved from http://dl.acm.org/citation.cfm?id=3016100.3016385 (Original work published 2016)