Zulkoski, E. ., Ganesh, V. ., & Czarnecki, K. . (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Presented at the. AAAI Press. (Original work published 2016)
Publications
Filter by:
Sarkar, A. . (2016). Meta-learning Performance Prediction of Highly Configurable Systems: A Cost-oriented Approach. Waterloo. Retrieved from http://hdl.handle.net/10012/10406 (Original work published 2016)
Sarkar, A. ., Guo, J. ., Siegmund, N. ., Apel, S. ., & Czarnecki, K. . (2015). Cost-efficient sampling for performance prediction of configurable systems. Cost-Efficient Sampling for Performance Prediction of Configurable Systems. Presented at the. Retrieved from https://ieeexplore.ieee.org/document/7372023