Prateek Kumar

Projects

Some of the interesting things that I have built/contributed to.

• Open-WBO-Inc
  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, India

Publications

Google Scholar

• 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

Archive

• Sudoku solver using a SAT Solver in Rust and WebAssembly
• Experience at UTokyo
• GNU Readline for Tab autocomplete and Bash like History
• Public Key Cryptography using Elliptic Curves
• Hello, World!