Liang, J. H. (2018). Machine Learning for SAT Solvers. Waterloo, ON, Canada. Retrieved from http://hdl.handle.net/10012/14207 (Original work published 2018)
Publications
Filter by:
Juodisius, P. ., Sarkar, A. ., Mukkamala, R. R., Antkiewicz, M. ., Czarnecki, K. ., & Wąsowski, A. . (2018). Clafer: Lightweight Modeling of Structure and Behaviour. The Art, Science, and Engineering of Programming Journal, 3. https://doi.org/10.22152/programming-journal.org/2019/3/2 (Original work published 2018)
Zhang, Z. ., Ernst, G. ., Sedwards, S. ., Arcani, P. ., & Hasuo, I. . (2018). Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD. Torino, Italy: IEEE. Retrieved from https://ieeexplore.ieee.org/document/8418450
Colwell, I. . (2018). Runtime Restriction of the Operational Design Domain: A Safety Concept for Automated Vehicles. Waterloo. Retrieved from https://uwspace.uwaterloo.ca/handle/10012/13398 (Original work published 2018)
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. Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance. Presented at the. EPIC. (Original work published 2017)
Sarkar, A. ., Czarnecki, K. ., Angus, M. ., Li, C. ., & Waslander, S. . (2017). Trajectory prediction of traffic agents at urban intersections through learned interactions.. Trajectory Prediction of Traffic Agents at Urban Intersections through Learned Interactions. Presented at the. Retrieved from https://ieeexplore.ieee.org/document/8317731
Larson, K. ., Peled, D. ., & Sedwards, S. . (2017). Memory-Efficient Tactics for Randomized LTL Model Checking. Heidelberg, Germany: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10
Valov, P. ., Petkovich, J.-C. ., Guo, J. ., Fischmeister, S. ., & Czarnecki, K. . (2017). Transferring Performance Prediction Models Across Different Hardware Platforms. Transferring Performance Prediction Models Across Different Hardware Platforms. Presented at the. https://doi.org/10.1145/3030207.3030216 (Original work published 2017)
Chauchan, M. ., Pellizzoni, R. ., & Czarnecki, K. . (2017). Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Presented at the. Retrieved from https://dac.com/2017/accepted-papers (Original work published 2017)
Guo, J. ., Blais, E. ., Czarnecki, K. ., & van Beek, P. . (2017). A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization. A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-Objective Combinatorial Optimization. Presented at the. https://doi.org/10.1007/978-3-319-57351-9_16 (Original work published 2017)