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…
stat.ML2018
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.…