Prateek Kumar

According to our database, Prateek Kumar authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins

J. Satisf. Boolean Model. Comput., 2019

2018

Approximation Strategies for Incomplete MaxSAT.

Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao

Proceedings of the Principles and Practice of Constraint Programming, 2018