关注
Prateek Kumar
Prateek Kumar
未知所在单位机构
在 iith.ac.in 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
152019
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
系统目前无法执行此操作,请稍后再试。
文章 1–4