143 search results - page 3 / 29 » Timed CSP: A Retrospective |
CPC
2006
14 years 10 months ago
2006
Abstract. We show that a maximum cut of a random graph below the giantcomponent threshold can be found in linear space and linear expected time by a simple algorithm. In fact, the ...
ISORC
2000
IEEE
15 years 2 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
137
click to vote
FOCS
2002
IEEE
15 years 3 months ago
2002
IEEE
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
ESORICS
2000
Springer
15 years 1 months ago
2000
Springer