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)
References
Filter by:
2016
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)
Zulkoski, E., Ganesh, V., & Czarnecki, K. (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers conference. AAAI Press. (Original work published 2016)
2015
Sarkar, A., Guo, J., Siegmund, N., Apel, S., & Czarnecki, K. (2015). Cost-efficient sampling for performance prediction of configurable systems Presented at the Cost-Efficient Sampling for Performance Prediction of Configurable Systems conference. Retrieved from https://ieeexplore.ieee.org/document/7372023