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 / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5899519
@@ Property / zbMATH DE Number: 5899519 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT
@@ Property / zbMATH Keywords: SAT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cardinality constraints
@@ Property / zbMATH Keywords: cardinality constraints / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT encodings
@@ Property / zbMATH Keywords: SAT encodings / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plingeling
@@ Property / describes a project that uses: Plingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PrecoSAT
@@ Property / describes a project that uses: PrecoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lingeling
@@ Property / describes a project that uses: Lingeling / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:538318