MiFuMax—a Literate MaxSAT Solver

DOI10.3233/SAT190103zbMath1484.68217OpenAlexW2278445211MaRDI QIDQ5015595

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

SATMaxSATliterate programming

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)

Uses Software

• MiFuMax

Cites Work

• Unnamed Item
• Iterative and core-guided maxsat solving: a survey and assessment
• Cores in Core Based MaxSat Algorithms: An Analysis
• Literate Programming
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Algorithms for Weighted Boolean Optimization
• GRASP: a search algorithm for propositional satisfiability
• Theory and Applications of Satisfiability Testing
• On Solving the Partial MAX-SAT Problem