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

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Knowledge Representation, Reasoning and Declarative Problem Solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three-sided stable matchings with cyclic preferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: An argumentation-theoretic foundation for logic programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the computational cost of disjunctive logic programming: Propositional case / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Design and implementation of aggregate functions in the DLV system / rank
 
Normal rank
Property / cites work
 
Property / cites work: College Admissions and the Stability of Marriage / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some remarks on the stable matching problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three Fast Algorithms for Four Problems in Stable Marriage / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable marriage and indifference / rank
 
Normal rank
Property / cites work
 
Property / cites work: The cycle roommates problem: a hard case of kidney exchange / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximation algorithms for the sex-equal stable marriage problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4130997 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmics of Matching Under Preferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hard variants of stable marriage. / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of nonmonotonic rule systems I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sex-equal stable matchings: complexity and exact algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three-Dimensional Stabl Matching Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pairwise kidney exchange / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999327 / rank
 
Normal rank

Latest revision as of 16:26, 14 July 2024

scientific article; zbMATH DE number 6804585
Language Label Description Also known as
English
Solving stable matching problems using answer set programming
scientific article; zbMATH DE number 6804585

    Statements

    Solving stable matching problems using answer set programming (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    9 November 2017
    0 references
    answer set programming
    0 references
    logic rules
    0 references
    stable marriage problem
    0 references
    optimal stable matchings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references