Resizing cardinality constraints for MaxSAT

DOI10.3233/AIC-180768zbMATH Open1462.68175OpenAlexW2803778482WikidataQ129890347 ScholiaQ129890347MaRDI QIDQ5145443FDOQ5145443

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

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

zbMATH Keywords

MaxSATcardinality encoding

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• On using incremental encodings in unsatisfiability-based MaxSAT solving

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)