Profile

Prateek Kumar

Developer | Rust and JavaScript | WebAssembly Enthusiast

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

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