Encoding cardinality constraints using standard encoding of generalized selection networks preserves arc-consistency (Q1685966): Difference between revisions

@@ Property / cites work @@
+A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Cardinality networks: a theoretical and empirical study
+Normal rank
@@ Property / cites work @@
+Curriculum-based course timetabling with SAT and MaxSAT
+Normal rank
@@ Property / cites work @@
+Pairwise Cardinality Networks
@@ Property / cites work: Pairwise Cardinality Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient multiway merging algorithm
@@ Property / cites work: An efficient multiway merging algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding cardinality constraints using multiway merge selection networks
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank