Lower bounds and recursive methods for the problem of adjudicating conflicting claims

DOI10.1007/S00355-011-0632-4zbMATH Open1288.91123OpenAlexW2072133557MaRDI QIDQ2452116FDOQ2452116

Diego Domínguez

Publication date: 30 May 2014

Published in: Social Choice and Welfare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00355-011-0632-4

Recommendations

• A unifying framework for the problem of adjudicating conflicting claims
• Lower bounds for the lengths of refutations
• Propositional lower bounds: Algorithms and complexity
• scientific article; zbMATH DE number 7561681
• scientific article; zbMATH DE number 3985202
• Lower bounds for some decision problems over \(C\)
• On the existence of consistent rules to adjudicate conflicting claims: a constructive geometric approach
• Exponential lower bounds for refuting random formulas using ordered binary decision diagrams
• scientific article; zbMATH DE number 1342212
• From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement

Mathematics Subject Classification ID

Resource and cost allocation (including fair division, apportionment, etc.) (91B32)

Cites Work

• Game theoretic analysis of a bankruptcy problem from the Talmud
• A problem of rights arbitration from the Talmud
• A quadratic programming model for product configuration optimization
• Priority Rules and Other Asymmetric Rationing Methods
• Operators for the adjudication of conflicting claims
• On the axiomatic method and its recent applications to game theory and resource allocation
• The Talmud rule and the securement of agents' awards.
• A new solution to the problem of adjudicating conflicting claims
• Secured lower bound, composition up, and minimal rights first for bankruptcy problems

Cited In (8)

• On the adjudication of conflicting claims: An experimental study
• Manipulation via merging and splitting in claims problems
• A new approach for bounding awards in bankruptcy problems
• On the existence of consistent rules to adjudicate conflicting claims: a constructive geometric approach
• Resource allocations with guaranteed awards in claims problems
• A new solution to the problem of adjudicating conflicting claims
• Axiomatic and game-theoretic analysis of bankruptcy and taxation problems: an update
• Families of sequential priority rules and random arrival rules with withdrawal limits

This page was built for publication: Lower bounds and recursive methods for the problem of adjudicating conflicting claims

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452116)