A logical approach to efficient Max-SAT solving
From MaRDI portal
Recommendations
Cites work
- A ``logic-constrained knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite
- A Complete Calculus for Max-SAT
- A Computing Procedure for Quantification Theory
- A fast algorithm for the maximum clique problem
- A machine program for theorem-proving
- An algorithm for finding a maximum clique in a graph
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- Bucket elimination: A unifying framework for reasoning
- Contribution to nonserial dynamic programming
- Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey
- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
- Handbook of constraint programming.
- High-order consistency in valued constraint satisfaction
- scientific article; zbMATH DE number 2086240 (Why is no real title available?)
- scientific article; zbMATH DE number 5139161 (Why is no real title available?)
- scientific article; zbMATH DE number 5139167 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1947416 (Why is no real title available?)
- scientific article; zbMATH DE number 2080322 (Why is no real title available?)
- scientific article; zbMATH DE number 1522934 (Why is no real title available?)
- scientific article; zbMATH DE number 956866 (Why is no real title available?)
- scientific article; zbMATH DE number 2243387 (Why is no real title available?)
- Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP
- Local Consistency in Weighted CSPs and Inference in Max-SAT
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- New inference rules for Max-SAT
- New Upper Bounds for Maximum Satisfiability
- On SAT Modulo Theories and Optimization Problems
- Optimal Protein Structure Alignment Using Maximum Cliques
- Resolution versus search: Two strategies for SAT
- Solving Max-SAT as weighted CSP
- Solving weighted CSP by maintaining arc consistency
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Using constraint programming to solve the maximum clique problem
Cited in
(44)- Solving weighted MAX-SAT via global equilibrium search
- Triangle-based consistencies for cost function networks
- Incomplete inference for graph problems
- Understanding the power of Max-SAT resolution through up-resilience
- Iterative and core-guided maxsat solving: a survey and assessment
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- A framework for certified Boolean branch-and-bound optimization
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
- A taxonomy of exact methods for partial Max-SAT
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
- Resolution procedures for multiple-valued optimization
- Pruning search space for weighted first order Horn clause satisfiability
- Semiring-induced propositional logic: definition and basic algorithms
- Open-WBO: a modular MaxSAT solver
- Solving #SAT and MAXSAT by Dynamic Programming
- Volt: a lazy grounding framework for solving very large MaxSAT instances
- Modelling Max-CSP as Partial Max-SAT
- A Preprocessor for Max-SAT Solvers
- A Max-SAT Inference-Based Pre-processing for Max-Clique
- Local Consistency in Weighted CSPs and Inference in Max-SAT
- Solving weighted Max-SAT problems in a reduced search space: a performance analysis
- New inference rules for Max-SAT
- Minimaxsat: an efficient weighted Max-SAT solver
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
- Exploiting Cycle Structures in Max-SAT
- Algorithms for Weighted Boolean Optimization
- Phase Transition for Maximum Not-All-Equal Satisfiability
- Hinge-loss Markov random fields and probabilistic soft logic
- scientific article; zbMATH DE number 6874827 (Why is no real title available?)
- MiFuMax -- a literate MaxSAT solver. System description
- \textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver
- Exploiting subproblem optimization in SAT-based maxsat algorithms
- Solving maximum weight clique using maximum satisfiability reasoning
- Proofs and Certificates for Max-SAT
- MaxSAT Resolution and Subcube Sums
- Solving Max-SAT as weighted CSP
- Principles and Practice of Constraint Programming – CP 2004
- MaxSAT resolution for regular propositional logic
- Resolution-based lower bounds in MaxSAT
- On the modelling and optimization of preferences in constraint-based temporal reasoning
- Enhancing MaxSAT local search via a unified soft clause weighting scheme
- Separations in proof complexity and TFNP
- An efficient solver for weighted Max-SAT
This page was built for publication: A logical approach to efficient Max-SAT solving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389619)
