Proofs and Certificates for Max-SAT
From MaRDI portal
Publication:5870516
DOI10.1613/jair.1.13811OpenAlexW4312045335MaRDI QIDQ5870516
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Publication date: 9 January 2023
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.13811
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SAT-based MaxSAT algorithms
- Curriculum-based course timetabling with SAT and MaxSAT
- Near optimal seperation of tree-like and general resolution
- Resolution for Max-SAT
- maxSAT-based large neighborhood search for high school timetabling
- Understanding the power of Max-SAT resolution through up-resilience
- A proof builder for Max-SAT
- Circular (yet sound) proofs
- Iterative and core-guided maxsat solving: a survey and assessment
- A logical approach to efficient Max-SAT solving
- Equivalence between systems stronger than resolution
- Towards a better understanding of (partial weighted) MaxSAT proof systems
- MaxSAT resolution and subcube sums
- Optimal Partial-Order Plan Relaxation via MaxSAT
- A Near-Optimal Separation of Regular and General Resolution
- Open-WBO: A Modular MaxSAT Solver,
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Algorithms for Weighted Boolean Optimization
- The Complexity of Propositional Proofs
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver
- RC2: an Efficient MaxSAT Solver
- Boosting branch-and-bound MaxSAT solvers with clause learning
- Solving the Team Composition Problem in a Classroom
- Theory and Applications of Satisfiability Testing
- A Machine-Oriented Logic Based on the Resolution Principle
- MaxSAT-Based Scheduling of B2B Meetings
- On Solving the Partial MAX-SAT Problem
- A Complete Calculus for Max-SAT
This page was built for publication: Proofs and Certificates for Max-SAT