Prateek Kumar
Developer | Rust and JavaScript
Projects
Some of the interesting things that I have built/contributed to.
Open-WBO-Inc is a partial incomplete MaxSAT solver built on top of Open-WBO. Open-WBO is an extensible and modular open-source MaxSAT solver. Open-WBO-Inc got 1st place in 60s timeout track and 2nd place in 300s timeout track at MaxSAT Evaluations 2018.
UTVPI-OA
Implementation of algorithms to compute overapproximations of polyhedra based on Linear Programming and Fourier-Motzkin elimination.
Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver.
Autojudge
An implementation of an online judge that can be used for conducting programming contests as well as managing assignments in a university.
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