Follow
Prateek Kumar
Prateek Kumar
Unknown affiliation
Verified email at iith.ac.in - Homepage
Title
Cited by
Cited by
Year
Approximation strategies for incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
Principles and Practice of Constraint Programming: 24th Internationalá…, 2018
242018
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
132019
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
62019
Open-WBO-Inc in MaxSAT Evaluation 2020
S Joshi, P Kumar, S Rao, R Martins
MaxSAT Evaluation 2020, 26, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–4