76 search results - page 4 / 16 » Mechanism design over discrete domains |
CP
2004
Springer
14 years 25 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We consider a multiagent resource allocation domain where the marginal production of each resource is diminishing. A set of identical, self-interested agents requires access to sh...
FM
1999
Springer
13 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
SCP
2011
13 years 2 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...