MiFuMax -- a literate MaxSAT solver. System description

DOI10.3233/SAT190103MaRDI QIDQ5015595zbMATH OpenOpenAlexFDO

Authors Mikoláš Janota

Publication date 9 December 2021

Published in Journal on Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/sat190103

zbMATH Keywords

literate programmingMaxSATSAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Minimaxsat: an efficient weighted Max-SAT solver
• An efficient solver for weighted Max-SAT
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing
• A logical approach to efficient Max-SAT solving
• LMHS: a SAT-IP hybrid MaxSat solver

Cites work

• Algorithms for Weighted Boolean Optimization
• Cores in core based MaxSat algorithms: an analysis
• GRASP: a search algorithm for propositional satisfiability
• Iterative and core-guided maxsat solving: a survey and assessment
• Literate Programming
• On Solving the Partial MAX-SAT Problem
• Temporal induction by incremental SAT solving
• Theory and Applications of Satisfiability Testing
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints

Cited in

(1)

• RC2: an efficient MaxSAT solver

Describes a project that uses

Uses Software

• MiFuMax

This page was built for publication: MiFuMax -- a literate MaxSAT solver. System description

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015595)