Resizing cardinality constraints for MaxSAT

DOI10.3233/AIC-180768MaRDI QIDQ5145443zbMATH OpenOpenAlexWikidataFDO

Authors Eivind Jahren, Achá Roberto Asín

Publication date 20 January 2021

Published in AI Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/aic-180768

zbMATH Keywords

cardinality encodingMaxSAT

Mathematics Subject Classification ID

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

Recommendations

• Incremental Encoding and Solving of Cardinality Constraints
• On using incremental encodings in unsatisfiability-based MaxSAT solving
• Cardinality networks: a theoretical and empirical study
• Cardinality Networks and Their Applications
• QMaxSAT: A partial Max-SAT solver

Cites work

• A parametric approach for smaller and better encodings of cardinality constraints
• Cardinality networks: a theoretical and empirical study
• Efficient CNF encoding of Boolean cardinality constraints
• Exploiting the power of MIP solvers in MAXSAT
• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• New inference rules for Max-SAT
• On Solving the Partial MAX-SAT Problem
• Open-WBO: a modular MaxSAT solver
• Pairwise cardinality networks
• QMaxSAT: A partial Max-SAT solver
• Solving (Weighted) Partial MaxSAT through Satisfiability Testing
• Sorting in \(c \log n\) parallel steps
• Theory and Applications of Satisfiability Testing

Cited in

(1)

• On using incremental encodings in unsatisfiability-based MaxSAT solving

Describes a project that uses

Uses Software

• MiniSat
• QMaxSAT
• Open-WBO

This page was built for publication: Resizing cardinality constraints for MaxSAT

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