356 search results - page 3 / 72 » Pairwise Cardinality Networks |
CONSTRAINTS
2011
13 years 1 months ago
2011
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [8] in that it ...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
SASN
2006
ACM
14 years 3 days ago
2006
ACM
We investigate the design space of sensor network broadcast authentication. We show that prior approaches can be organized based on a taxonomy of seven fundamental proprieties, su...
SIGMETRICS
2008
ACM
13 years 6 months ago
2008
ACM
EWSN
2006
Springer
14 years 5 months ago
2006
Springer