Solving stable matching problems using answer set programming (Q4593026): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05247
@@ Property / arXiv ID: 1512.05247 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Three-sided stable matchings with cyclic preferences
+Normal rank
@@ Property / cites work @@
+An argumentation-theoretic foundation for logic programming
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Design and implementation of aggregate functions in the DLV                         system
+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 @@
+Some remarks on the stable matching problem
@@ Property / cites work: Some remarks on the stable matching problem / rank @@
+Normal rank
@@ Property / cites work @@
+Three Fast Algorithms for Four Problems in Stable Marriage
+Normal rank
@@ Property / cites work @@
+Stable marriage and indifference
@@ Property / cites work: Stable marriage and indifference / rank @@
+Normal rank
@@ Property / cites work @@
+The cycle roommates problem: a hard case of kidney exchange
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for the sex-equal stable marriage problem
+Normal rank
@@ Property / cites work @@
+Q4130997
@@ Property / cites work: Q4130997 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmics of Matching Under Preferences
@@ Property / cites work: Algorithmics of Matching Under Preferences / rank @@
+Normal rank
@@ Property / cites work @@
+Hard variants of stable marriage.
@@ Property / cites work: Hard variants of stable marriage. / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+Sex-equal stable matchings: complexity and exact algorithms
+Normal rank
@@ Property / cites work @@
+Three-Dimensional Stabl Matching Problems
@@ Property / cites work: Three-Dimensional Stabl Matching Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Pairwise kidney exchange
@@ Property / cites work: Pairwise kidney exchange / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999327
@@ Property / cites work: Q3999327 / rank @@
+Normal rank