1984 search results - page 91 / 397 » The colourful feasibility problem |
EAAI
2007
13 years 10 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...
EOR
2010
13 years 10 months ago
2010
A significant input-data uncertainty is often present in practical situations. One approach to coping with this uncertainty is to describe the uncertainty with scenarios. A scenar...
CCO
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a speciļ¬c problem class, namely deterministic production planning probl...
SECON
2007
IEEE
14 years 4 months ago
2007
IEEE
ā The coverage and connectivity problem in sensor networks has received signiļ¬cant attention of the research community in the recent years. In this paper, we study this problem...
JAR
2000
13 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...