MiFuMax—a Literate MaxSAT Solver

DOI10.3233/SAT190103zbMath1484.68217MaRDI QIDQ5015595

Mikoláš Janota

Publication date: 9 December 2021

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

zbMATH Keywords

SAT; MaxSAT; literate programming

Mathematics Subject Classification ID

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• MiFuMax