Pages that link to "Item:Q5015596"
From MaRDI portal
The following pages link to ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596):
Displaying 9 items.
- New local search methods for partial MaxSAT (Q329035) (← links)
- On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes (Q505972) (← links)
- Understanding the power of Max-SAT resolution through up-resilience (Q2046032) (← links)
- A proof builder for Max-SAT (Q2118341) (← links)
- Voting on multi-issue domains with conditionally lexicographic preferences (Q2315365) (← links)
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem (Q4577945) (← links)
- Boosting branch-and-bound MaxSAT solvers with clause learning (Q5106262) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)