Encoding cardinality constraints using multiway merge selection networks
From MaRDI portal
Publication:2009191
DOI10.1007/S10601-019-09302-0zbMATH Open1432.68417OpenAlexW2935376254MaRDI QIDQ2009191FDOQ2009191
Authors: Michał Karpiński, Marek Piotrów 
Publication date: 27 November 2019
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-019-09302-0
Recommendations
- Cardinality networks: a theoretical and empirical study
- Cardinality Networks and Their Applications
- A parametric approach for smaller and better encodings of cardinality constraints
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)
Cites Work
- PBLib -- a library for encoding pseudo-Boolean constraints into CNF
- Title not available (Why is that?)
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Curriculum-based course timetabling with SAT and MaxSAT
- Title not available (Why is that?)
- A linear-time transformation of linear inequalities into conjunctive normal form
- Title not available (Why is that?)
- Cardinality networks: a theoretical and empirical study
- A parametric approach for smaller and better encodings of cardinality constraints
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
- Pairwise cardinality networks
Cited In (9)
- Cardinality Networks and Their Applications
- Exact and approximate determination of the Pareto front using minimal correction subsets
- On the benefits of knowledge compilation for feature-model analyses
- Certified Core-Guided MaxSAT Solving
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
- Normalizing cardinality rules using merging and sorting constructions
- Pairwise cardinality networks
- Cardinality networks: a theoretical and empirical study
- New core-guided and hitting set algorithms for multi-objective combinatorial optimization
Uses Software
This page was built for publication: Encoding cardinality constraints using multiway merge selection networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2009191)
