scientific article; zbMATH DE number 956866
From MaRDI portal
Publication:5687275
zbMath0859.68072MaRDI QIDQ5687275
Eugene C. Freuder, Richard J. Wallace
Publication date: 11 December 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Proceedings of conferences of miscellaneous specific interest (00B25) Enumerative combinatorics (05A99) Discrete mathematics in relation to computer science (68R99)
Related Items (12)
A logical approach to efficient Max-SAT solving ⋮ On Inconsistent Clause-Subsets for Max-SAT Solving ⋮ Solving the weighted MAX-SAT problem using the dynamic convexized method ⋮ An efficient solver for weighted Max-SAT ⋮ Breaking Cycle Structure to Improve Lower Bound for Max-SAT ⋮ MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability ⋮ Exact Algorithms for MAX-SAT ⋮ Efficient branch-and-bound algorithms for weighted MAX-2-SAT ⋮ Exact Max-SAT solvers for over-constrained problems ⋮ A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem ⋮ ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver ⋮ Improving exact algorithms for MAX-2-SAT
This page was built for publication:
