3145 search results - page 441 / 629 » Algebraic Linear Orderings |
159
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
We reconsider the idea of structural symmetry breaking (SSB) for constraint satisfaction problems (CSPs). We show that the dynamic dominance checks used in symmetry breaking by dom...
168
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We construct a fully collusion resistant tracing traitors system with sublinear size ciphertexts and constant size private keys. More precisely, let N be the total number of users...
175
click to vote
ICISP
2010
Springer
15 years 10 months ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
178
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
157
click to vote
WSC
2007
15 years 8 months ago
2007
In this paper we present a general framework for simulating and optimizing the operational decisions in a supply chain network. We developed a supply chain network library for the...