hero

Prateek Kumar

Developer. ❤️ Mathematics and Computer Science

# Education

# Projects

# FM and LP based UTVPI Over Approximation

Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin eliminations.

GitHub

# Open-WBO-Inc MaxSAT Solver

Open-WBO-Inc is an incomplete MaxSAT solver based on the top Open-WBO with approximation strategies proposed in this paper. At MaxSAT Evaluation 2018, Open-WBO-Inc got 1st place in incomplete weighted track with 60s timeout and 2nd place in incomplete weighted track with 300s timeout. The results are available here. At MaxSAT Evaluation 2019, Open-WBO-Inc got 3rd place in incomplete weighted track with 60s and 300s timeout. The results are available here.

GitHub

# Timetabler

Timetabler generates a timetable given a set of inputs and constraints. It encodes constraints of the timetabling problem as a SAT formula in the Conjunctive Normal Form and then calls a MaxSAT solver to solve the problem. It is currently used by IIT Hyderabad to schedule timetable for courses.

Docs GitHub

# Semaphore in Minix

Implemention of semaphores in Minix Operating System.

GitHub

# Publications

  • Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao.
    Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT vol 11.

  • 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 Preprint

  • Saurabh Joshi, Prateek Kumar, Vasco Manquinho, Ruben Martins, Alexander Nadel, Sukrut Rao.
    Open-WBO-Inc in MaxSAT Evaluation 2018. MaxSAT Evaluation 2018.
    PDF Code

# Contact

Email: prateek@prateekkumar.in

Twitter LinkedIn Keybase