356 search results - page 3 / 72 » Pairwise Cardinality Networks |
140
Voted
CONSTRAINTS
2011
14 years 4 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 ...
79
Voted
CAV
2009
Springer
15 years 10 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
15 years 3 months 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
14 years 9 months ago
2008
ACM
EWSN
2006
Springer
15 years 9 months ago
2006
Springer