Cardinality networks: a theoretical and empirical study (Q538318): Difference between revisions

@@ Property / cites work @@
+Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Q3429162
@@ Property / cites work: Q3429162 / rank @@
+Normal rank
@@ Property / cites work @@
+New Encodings of Pseudo-Boolean Constraints into CNF
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Robust CNF Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+A linear-time transformation of linear inequalities into conjunctive normal form
+Normal rank