Profile

Prateek Kumar

Developer | Rust and JavaScript

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.

Implementation of algorithms to compute overapproximations of polyhedra based on Linear Programming and Fourier-Motzkin elimination.

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver.

An implementation of an online judge that can be used for conducting programming contests as well as managing assignments in a university.

Education

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
Google Scholar

Contact