swMATH1990MaRDI QIDQ14538FDOQ14538
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0004370205000160
Cited In (25)
- A framework for certified Boolean branch-and-bound optimization
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT
- Solving satisfiability problems with preferences
- A framework for reasoning under uncertainty based on non-deterministic distance semantics
- Simplified forms of computerized reasoning with distance semantics
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem
- Title not available (Why is that?)
- A logical approach to efficient Max-SAT solving
- OptSAT
- Pueblo
- UBCSAT
- MAX-2-SAT
- PBS
- MiniMaxSat
- MSUnCore
- Iterative and core-guided maxsat solving: a survey and assessment
- Comparing action descriptions based on semantic preferences
- Exact Max-SAT solvers for over-constrained problems
- Semidefinite programming and constraint programming
- On SAT Modulo Theories and Optimization Problems
- Scatter search and genetic algorithms for MAX-SAT problems
- Minimaxsat: an efficient weighted Max-SAT solver
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
This page was built for software: MaxSolver
