Sciweavers

8699 search results - page 87 / 1740
» Elements of the Theory of Computation
Sort
View
CIA
2006
Springer
14 years 19 days 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»
14 years 3 months ago
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebas...