Sciweavers

446 search results - page 10 / 90
» A Combinatorial Theorem for Trees
Sort
View
75
Voted
SAGT
2009
Springer
118views Game Theory» more  SAGT 2009»
15 years 4 months ago
A Modular Approach to Roberts' Theorem
Roberts’ theorem from 1979 states that the only incentive compatible mechanisms over a full domain and range of at least 3 are weighted variants of the VCG mechanism termed affin...
Shahar Dobzinski, Noam Nisan
STACS
2010
Springer
15 years 2 months ago
A Dichotomy Theorem for the General Minimum Cost Homomorphism Problem
Abstract. In the constraint satisfaction problem (CSP), the aim is to find an assignment of values to a set of variables subject to specified constraints. In the minimum cost hom...
Rustem Takhanov
LICS
2006
IEEE
15 years 3 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra