Proofs and Certificates for Max-SAT
From MaRDI portal
Publication:5870516
DOI10.1613/JAIR.1.13811OpenAlexW4312045335MaRDI QIDQ5870516FDOQ5870516
Authors: 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
Cites Work
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- RC2: an efficient MaxSAT solver
- Iterative and core-guided maxsat solving: a survey and assessment
- SAT-based MaxSAT algorithms
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Algorithms for Weighted Boolean Optimization
- On Solving the Partial MAX-SAT Problem
- Curriculum-based course timetabling with SAT and MaxSAT
- A Machine-Oriented Logic Based on the Resolution Principle
- The Complexity of Propositional Proofs
- Open-WBO: a modular MaxSAT solver
- New inference rules for Max-SAT
- \textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver
- maxSAT-based large neighborhood search for high school timetabling
- A logical approach to efficient Max-SAT solving
- A Complete Calculus for Max-SAT
- Resolution for Max-SAT
- A near-optimal separation of regular and general resolution
- Near optimal seperation of tree-like and general resolution
- Circular (yet sound) proofs
- Title not available (Why is that?)
- Optimal partial-order plan relaxation via MaxSAT
- Handbook of satisfiability. In 2 parts
- MaxSAT-based scheduling of B2B meetings
- Understanding the power of Max-SAT resolution through up-resilience
- A proof builder for Max-SAT
- Equivalence between systems stronger than resolution
- Towards a better understanding of (partial weighted) MaxSAT proof systems
- Title not available (Why is that?)
- MaxSAT resolution and subcube sums
- Boosting branch-and-bound MaxSAT solvers with clause learning
- Solving the Team Composition Problem in a Classroom
Cited In (2)
Uses Software
This page was built for publication: Proofs and Certificates for Max-SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870516)
