Prateek Kumar
Developer | Rust and JavaScript | WebAssembly Enthusiast
Education
-
B. Tech. (Honors) in
Computer Science and Engineering, 2015 - 2019
Indian Institute of Technology Hyderabad
Publications
- Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT 2019 (vol. 11) PDF - Shalini Jain, Utpal Bora, Prateek Kumar, Vaibhav B. Sinha, Suresh Purini, Ramakrishna Upadrasta
An analysis of executable size reduction by LLVM passes. CSIT 2019 PDF - Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
Approximation Strategies for Incomplete MaxSAT. CP 2018 PDF