Cardinality Networks and Their Applications
From MaRDI portal
Publication:3637166
DOI10.1007/978-3-642-02777-2_18zbMATH Open1247.68244OpenAlexW1900929702MaRDI QIDQ3637166FDOQ3637166
Authors: Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Publication date: 7 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02777-2_18
Recommendations
- Cardinality networks: a theoretical and empirical study
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Encoding cardinality constraints using multiway merge selection networks
- A parametric approach for smaller and better encodings of cardinality constraints
- Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
Cites Work
Cited In (15)
- meSAT: multiple encodings of CSP to SAT
- Perfect hashing and CNF encodings of cardinality constraints
- Sorting networks: to the end and back again
- Curriculum-based course timetabling with SAT and MaxSAT
- Learning Optimal Decision Sets and Lists with SAT
- Efficient CNF encoding of Boolean cardinality constraints
- Towards Robust CNF Encodings of Cardinality Constraints
- Faster merging networks with a small constant period
- Modeling and solving staff scheduling with partial weighted maxSAT
- A Boolean satisfiability approach to the resource-constrained project scheduling problem
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
- Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models
- Pairwise cardinality networks
- Cardinality networks: a theoretical and empirical study
- \textsf{Catalic}: delegated PSI cardinality with applications to contact tracing
This page was built for publication: Cardinality Networks and Their Applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637166)