The following pages link to MaxSolver (Q14538):
Displayed 18 items.
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) (← links)
- A framework for reasoning under uncertainty based on non-deterministic distance semantics (Q541819) (← links)
- Simplified forms of computerized reasoning with distance semantics (Q545150) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870) (← links)
- Scatter search and genetic algorithms for MAX-SAT problems (Q928686) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- A framework for certified Boolean branch-and-bound optimization (Q2429985) (← links)
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks (Q2429986) (← links)
- Comparing action descriptions based on semantic preferences (Q2457799) (← links)
- Exact Max-SAT solvers for over-constrained problems (Q2506236) (← links)
- Semidefinite Programming and Constraint Programming (Q2802541) (← links)
- (Q3624109) (← links)
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (Q3637179) (← links)
- (Q5747625) (← links)
- On SAT Modulo Theories and Optimization Problems (Q5756563) (← links)
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5898782) (← links)