The following pages link to Resolution for Max-SAT (Q1028942):
Displayed 24 items.
- A framework for reasoning under uncertainty based on non-deterministic distance semantics (Q541819) (← links)
- Simplified forms of computerized reasoning with distance semantics (Q545150) (← links)
- Resolution-based lower bounds in MaxSAT (Q606913) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- Incomplete inference for graph problems (Q1947627) (← links)
- Understanding the power of Max-SAT resolution through up-resilience (Q2046032) (← links)
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses (Q2051907) (← links)
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints (Q2074672) (← links)
- A proof builder for Max-SAT (Q2118341) (← links)
- Propositional proof systems based on maximum satisfiability (Q2238728) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms (Q2424882) (← links)
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Improved MaxSAT Algorithms for Instances of Degree 3 (Q3467831) (← links)
- A Max-SAT Inference-Based Pre-processing for Max-Clique (Q3502702) (← links)
- Exploiting Cycle Structures in Max-SAT (Q3637180) (← links)
- Algorithms for Weighted Boolean Optimization (Q3637182) (← links)
- Breaking Cycle Structure to Improve Lower Bound for Max-SAT (Q4632177) (← links)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
- Applications and Computational Advances for Solving the QUBO Model (Q5050142) (← links)
- Boosting branch-and-bound MaxSAT solvers with clause learning (Q5106262) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)