A new exact solver for (Weighted) Max\#SAT
From MaRDI portal
Publication:6572045
DOI10.4230/LIPICS.SAT.2022.28MaRDI QIDQ6572045FDOQ6572045
Authors: Gilles Audemard, Jean-Marie Lagniez, Marie Miceli 
Publication date: 12 July 2024
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
This page was built for publication: A new exact solver for (Weighted) Max\#SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572045)
