EasyChair Smart Slide
A Comprehensive Study of K-Portfolios of Recent SAT Solvers
A Comprehensive Study of K-Portfolios of Recent SAT Solvers