52 citations · 52 across the 2 of their papers we have counts for
2 papers
cs.LO2018
Approximation Strategies for Incomplete MaxSAT
Saurabh Joshi, Prateek Kumar, Ruben Martins +1
Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of the unsatisfied soft clauses without providing any optimality guarante…
nucl-th2016★ 52 cited
Nuclear Modification Factor Using Tsallis Non-extensive Statistics
Sushanta Tripathy, Trambak Bhattacharyya, Prakhar Garg +3
The nuclear modification factor is derived using Tsallis non-extensive statistics in relaxation time approximation. The variation of nuclear modification factor with transverse mom…