MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Under an Elsevier user license
open archive
Keywords
Weighted maximum satisfiability
DPLL
Unit propagation
Linear programming
Nonlinear programming
Variable ordering
Cited by (0)
Copyright © 2005 Elsevier B.V. All rights reserved.