FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337207306> ?p ?o ?g. }

• W2337207306 abstract "Two important requirements when aggregating the preferences of multiple agents are that the outcome should be economically efficient and the aggregation mechanism should not be manipulable. In this paper, we provide a computer-aided proof of a sweeping impossibility using these two conditions for randomized aggregation mechanisms. More precisely, we show that every efficient aggregation mechanism can be manipulated for all expected utility representations of the agents' preferences. This settles an open problem and strengthens a number of existing theorems, including statements that were shown within the special domain of assignment. Our proof is obtained by formulating the claim as a satisfiability problem over predicates from real-valued arithmetic, which is then checked using an SMT (satisfiability modulo theories) solver. In order to verify the correctness of the result, a minimal unsatisfiable set of constraints returned by the SMT solver was translated back into a proof in higher-order logic, which was automatically verified by an interactive theorem prover. To the best of our knowledge, this is the first application of SMT solvers in computational social choice." @default.
• W2337207306 created "2016-06-24" @default.
• W2337207306 creator A5001200543 @default.
• W2337207306 creator A5007799536 @default.
• W2337207306 creator A5052021613 @default.
• W2337207306 creator A5054463492 @default.
• W2337207306 date "2016-04-19" @default.
• W2337207306 modified "2023-09-27" @default.
• W2337207306 title "Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving" @default.
• W2337207306 cites W1515932763 @default.
• W2337207306 cites W1528676759 @default.
• W2337207306 cites W1978145911 @default.
• W2337207306 cites W1982598002 @default.
• W2337207306 cites W1987388386 @default.
• W2337207306 cites W2007748632 @default.
• W2337207306 cites W2009653834 @default.
• W2337207306 cites W2014437184 @default.
• W2337207306 cites W2043715088 @default.
• W2337207306 cites W2063713291 @default.
• W2337207306 cites W2076154639 @default.
• W2337207306 cites W2102219503 @default.
• W2337207306 cites W2106192381 @default.
• W2337207306 cites W2106897266 @default.
• W2337207306 cites W2116274133 @default.
• W2337207306 cites W2129678216 @default.
• W2337207306 cites W2133667021 @default.
• W2337207306 cites W2142685049 @default.
• W2337207306 cites W2158276958 @default.
• W2337207306 cites W2159595840 @default.
• W2337207306 cites W2214482362 @default.
• W2337207306 cites W2223286957 @default.
• W2337207306 cites W2293881532 @default.
• W2337207306 cites W266135116 @default.
• W2337207306 cites W2952546582 @default.
• W2337207306 cites W3124207685 @default.
• W2337207306 cites W3125425646 @default.
• W2337207306 cites W3136440969 @default.
• W2337207306 hasPublicationYear "2016" @default.
• W2337207306 type Work @default.
• W2337207306 sameAs 2337207306 @default.
• W2337207306 citedByCount "3" @default.
• W2337207306 countsByYear W23372073062016 @default.
• W2337207306 countsByYear W23372073062017 @default.
• W2337207306 countsByYear W23372073062018 @default.
• W2337207306 crossrefType "posted-content" @default.
• W2337207306 hasAuthorship W2337207306A5001200543 @default.
• W2337207306 hasAuthorship W2337207306A5007799536 @default.
• W2337207306 hasAuthorship W2337207306A5052021613 @default.
• W2337207306 hasAuthorship W2337207306A5054463492 @default.
• W2337207306 hasConcept C108710211 @default.
• W2337207306 hasConcept C11413529 @default.
• W2337207306 hasConcept C118615104 @default.
• W2337207306 hasConcept C134306372 @default.
• W2337207306 hasConcept C152062344 @default.
• W2337207306 hasConcept C159718280 @default.
• W2337207306 hasConcept C164155591 @default.
• W2337207306 hasConcept C168773769 @default.
• W2337207306 hasConcept C177264268 @default.
• W2337207306 hasConcept C17744445 @default.
• W2337207306 hasConcept C199360897 @default.
• W2337207306 hasConcept C199539241 @default.
• W2337207306 hasConcept C206880738 @default.
• W2337207306 hasConcept C2524010 @default.
• W2337207306 hasConcept C2776261394 @default.
• W2337207306 hasConcept C2778770139 @default.
• W2337207306 hasConcept C33923547 @default.
• W2337207306 hasConcept C36503486 @default.
• W2337207306 hasConcept C41008148 @default.
• W2337207306 hasConcept C54732982 @default.
• W2337207306 hasConcept C55439883 @default.
• W2337207306 hasConcept C6943359 @default.
• W2337207306 hasConcept C80444323 @default.
• W2337207306 hasConceptScore W2337207306C108710211 @default.
• W2337207306 hasConceptScore W2337207306C11413529 @default.
• W2337207306 hasConceptScore W2337207306C118615104 @default.
• W2337207306 hasConceptScore W2337207306C134306372 @default.
• W2337207306 hasConceptScore W2337207306C152062344 @default.
• W2337207306 hasConceptScore W2337207306C159718280 @default.
• W2337207306 hasConceptScore W2337207306C164155591 @default.
• W2337207306 hasConceptScore W2337207306C168773769 @default.
• W2337207306 hasConceptScore W2337207306C177264268 @default.
• W2337207306 hasConceptScore W2337207306C17744445 @default.
• W2337207306 hasConceptScore W2337207306C199360897 @default.
• W2337207306 hasConceptScore W2337207306C199539241 @default.
• W2337207306 hasConceptScore W2337207306C206880738 @default.
• W2337207306 hasConceptScore W2337207306C2524010 @default.
• W2337207306 hasConceptScore W2337207306C2776261394 @default.
• W2337207306 hasConceptScore W2337207306C2778770139 @default.
• W2337207306 hasConceptScore W2337207306C33923547 @default.
• W2337207306 hasConceptScore W2337207306C36503486 @default.
• W2337207306 hasConceptScore W2337207306C41008148 @default.
• W2337207306 hasConceptScore W2337207306C54732982 @default.
• W2337207306 hasConceptScore W2337207306C55439883 @default.
• W2337207306 hasConceptScore W2337207306C6943359 @default.
• W2337207306 hasConceptScore W2337207306C80444323 @default.
• W2337207306 hasLocation W23372073061 @default.
• W2337207306 hasOpenAccess W2337207306 @default.
• W2337207306 hasPrimaryLocation W23372073061 @default.
• W2337207306 hasRelatedWork W1602107760 @default.
• W2337207306 hasRelatedWork W1912569824 @default.

• next