Three-dimensional stable matching with cyclic preferences (Q5919088): Difference between revisions

@@ Property / describes a project that uses @@
+YalSAT
@@ Property / describes a project that uses: YalSAT / 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 @@
+Treengeling
@@ Property / describes a project that uses: Treengeling / 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 @@
+Lingeling
@@ Property / describes a project that uses: Lingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3013373065
@@ Property / OpenAlex ID: W3013373065 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05638
@@ Property / arXiv ID: 1807.05638 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Clause Exchange Policy for Parallel SAT Solvers
+Normal rank
@@ Property / cites work @@
+Three-sided stable matchings with cyclic preferences
+Normal rank
@@ Property / cites work @@
+Stable matchings in three-sided systems with cyclic preferences
+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 @@
+Three-dimensional stable matching with cyclic preferences
+Normal rank
@@ Property / cites work @@
+Stable marriage with general preferences
@@ Property / cites work: Stable marriage with general preferences / rank @@
+Normal rank
@@ Property / cites work @@
+College Admissions and the Stability of Marriage
@@ Property / cites work: College Admissions and the Stability of Marriage / rank @@
+Normal rank
@@ Property / cites work @@
+\(d\)-dimensional stable matching with cyclic preferences
+Normal rank
@@ Property / cites work @@
+Q4130997
@@ Property / cites work: Q4130997 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of three-dimensional stable matchings with cyclic preferences
+Normal rank
@@ Property / cites work @@
+Three-Dimensional Stabl Matching Problems
@@ Property / cites work: Three-Dimensional Stabl Matching Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank