P
Prateek Kumar
Researcher at Indian Institute of Technology, Hyderabad
Publications - 4
Citations - 27
Prateek Kumar is an academic researcher from Indian Institute of Technology, Hyderabad. The author has contributed to research in topics: Maximum satisfiability problem & Cluster (physics). The author has an hindex of 3, co-authored 4 publications receiving 20 citations.
Papers
More filters
Book ChapterDOI
Approximation Strategies for Incomplete MaxSAT
TL;DR: Experimental results show that approximation strategies can be used to find better solutions than the best incomplete solvers in the MaxSAT Evaluation 2017.
Journal ArticleDOI
An analysis of executable size reduction by LLVM passes
TL;DR: This paper takes the size of the executable as a metric and attempts to divide the -Oz series into logical groups and study their individual effects; while also studying the effect of their combinations.
Journal ArticleDOI
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
TL;DR: This paper proposes two approximation strategies for improving incomplete weighted MaxSAT solving that are competitive with the best of the solvers and compares them on benchmarks taken from MaxSat Evaluation 2017 andMaxSAT Evaluation 2018.
Posted Content
Approximation Strategies for Incomplete MaxSAT
TL;DR: In this paper, two approximation strategies for incomplete MaxSAT solving are proposed, i.e., cluster the weights and approximate them with a representative weight, and break up the problem of minimizing the sum of weights of unsatisfiable clauses into multiple minimization subproblems.