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

@@ Property / DOI @@
-.1007/s10601-010-9105-0
@@ Property / DOI: 10.1007/s10601-010-9105-0 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-010-9105-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2012413542
@@ Property / OpenAlex ID: W2012413542 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10601-010-9105-0
@@ Property / DOI: 10.1007/S10601-010-9105-0 / rank @@
+Normal rank