85 citations · 150 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
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…
stat.ML2018★ 13 cited
Fast Dawid-Skene: A Fast Vote Aggregation Scheme for Sentiment Classification
Vaibhav B Sinha, Sukrut Rao, Vineeth N Balasubramanian
Many real world problems can now be effectively solved using supervised machine learning. A major roadblock is often the lack of an adequate quantity of labeled data for training.…