67 search results - page 14 / 14 » Solving MAX-r-SAT Above a Tight Lower Bound |
100
Voted
CRYPTO
2011
Springer
13 years 11 months ago
2011
Springer
RFID security is currently one of the major challenges cryptography has to face, often solved by protocols assuming that an on-tag hash function is available. In this article we pr...
106
click to vote
MP
2010
14 years 9 months ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...