Prateek Kumar
Prateek Kumar
Unknown affiliation
Verified email at - Homepage
Cited by
Cited by
Approximation strategies for incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
International Conference on Principles and Practice of Constraintá…, 2018
Open-wbo-inc: Approximation strategies for incomplete weighted maxsat
S Joshi, P Kumar, S Rao, R Martins
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 73-97, 2019
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 7 (2), 105-110, 2019
Open-WBO-Inc in MaxSAT Evaluation 2020
S Joshi, P Kumar, S Rao, R Martins
MaxSAT Evaluation 2020, 26, 0
The system can't perform the operation now. Try again later.
Articles 1–4