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.
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.
- Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT 2019 (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
- Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
Approximation Strategies for Incomplete MaxSAT. CP 2018
Email: [email protected]
Mastodon: @[email protected]