15 search results - page 1 / 3 » Integrity Constraint Reformulation for Efficient Validation |
VLDB
1987
ACM
13 years 8 months ago
1987
ACM
JUCS
2007
13 years 4 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
CP
2003
Springer
13 years 10 months ago
2003
Springer
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
In this paper we present a new efficient algorithm for retiming sequential circuits with edge-triggered registers under both setup and hold constraints. Compared with the previous...
CASES
2010
ACM
13 years 3 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...