MaxSAT-based encodings for Group MaxSAT
From MaRDI portal
Publication:4589092
DOI10.3233/AIC-140636zbMath1373.68377OpenAlexW1566938367MaRDI QIDQ4589092
Antonio Morgado, Federico Heras, João P. Marques-Silva
Publication date: 7 November 2017
Published in: AI Communications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/aic-140636
Approximation methods and heuristics in mathematical programming (90C59) Boolean programming (90C09) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ Minimal sets on propositional formulae. Problems and reductions ⋮ LMHS: A SAT-IP Hybrid MaxSAT Solver