10462 search results - page 338 / 2093 » Towards a |
171
click to vote
CISC
2005
Springer
16 years 9 days ago
2005
Springer
RC4 was designed in 1987 when 8-bit and 16-bit processors were commercially available. Today, most processors use 32-bit or 64bit words but using original RC4 with 32/64 bits is in...
129
click to vote
COCO
2005
Springer
16 years 9 days ago
2005
Springer
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...
140
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
185
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at...