Prateek Kumar
Prateek Kumar
Verified email at - Homepage
TitleCited byYear
Approximation Strategies for Incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
International Conference on Principles and Practice of Constraintá…, 2018
An analysis of executable size reduction by LLVM passes
S Jain, U Bora, P Kumar, VB Sinha, S Purini, R Upadrasta
CSI Transactions on ICT, 1-6, 2019
Open-WBO-Inc in MaxSAT Evaluation 2018
S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao
MaxSAT Evaluation 2018, 16, 0
The system can't perform the operation now. Try again later.
Articles 1–3