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
252018
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
162019
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
72019
Open-wbo-inc in maxsat evaluation 2020
S Joshi, P Kumar, S Rao, R Martins
MaxSAT Evaluation 2020, 26, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–4