Sciweavers

5964 search results - page 57 / 1193
» A theory of speculative computation
Sort
View
CIA
2006
Springer
15 years 8 months ago
Egalitarian Allocations of Indivisible Resources: Theory and Computation
We present a mechanism for collaboration and coordination amongst agents in multi-agent societies seeking social equity. This mechanism allows to compute egalitarian allocations of...
Paul-Amaury Matt, Francesca Toni
SAT
2007
Springer
68views Hardware» more  SAT 2007»
15 years 10 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...