3628 search results - page 32 / 726 » The Decision Diffie-Hellman Problem |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
CCE
2004
13 years 7 months ago
2004
This paper treats the solution of nonlinear optimization problems involving discrete decision variables, also known as generalized disjunctive programming (GDP) or mixed-integer n...
AMC
2006
13 years 7 months ago
2006
In this paper, the decision making problems with the dependence and the feedback effects are considered. Although the analytic network/hierarchy process (ANP/AHP) has been propose...
GLVLSI
2002
IEEE
14 years 17 days ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...