Prateek Kumar
Prateek Kumar
Verified email at iith.ac.in - 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
62018
Open-WBO-Inc in MaxSAT Evaluation 2018
S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao
MaxSAT Evaluation 2018, 16, 0
3
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, 73-97, 2019
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, 1-6, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–4