CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2016.11.001

View full text

>> Full Text: CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability

The Configurable SAT Solver Challenge (CSSC)

Query efficient posterior estimation in scientific experiments via Bayesian active learning