Cardinality Networks and Their Applications

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

Mathematics Subject Classification ID

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

Cites Work

• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Efficient CNF encoding of Boolean cardinality constraints
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• Title not available (Why is that?)
• Towards Robust CNF Encodings of Cardinality Constraints

Cited In (23)

• meSAT: multiple encodings of CSP to SAT
• Detecting cardinality constraints in CNF
• Perfect hashing and CNF encodings of cardinality constraints
• Sorting networks: to the end and back again
• A parametric approach for smaller and better encodings of cardinality constraints
• Curriculum-based course timetabling with SAT and MaxSAT
• Learning Optimal Decision Sets and Lists with SAT
• Efficient CNF encoding of Boolean cardinality constraints
• Resizing cardinality constraints for MaxSAT
• 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
• Cardinality of upper average and its application to network optimization
• Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency
• Compact and efficient encodings for planning in factored state and action spaces with learned binarized neural network transition models
• Normalizing cardinality rules using merging and sorting constructions
• Pairwise cardinality networks
• Encoding cardinality constraints using multiway merge selection networks
• Cardinality networks: a theoretical and empirical study
• \textsf{Catalic}: delegated PSI cardinality with applications to contact tracing
• Efficient SAT-based encodings of conditional cardinality constraints

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)