ar X iv : c s . A I / 01 07 00 2 v 1 2 Ju l 2 00 1 Enhancing Constraint Propagation with Composition Operators ⋆
نویسنده
چکیده
Constraint propagation is a general algorithmic approach for pruning the search space of a CSP. In a uniform way, K. R. Apt [1] has defined a computation as an iteration of reduction functions over a domain. In [2] he has also demonstrated the need for integrating static properties of reduction functions (commutativity and semi-commutativity) to design specialized algorithms such as AC3 and DAC. We introduce here a set of operators for modeling compositions of reduction functions. Two of the major goals are to tackle parallel computations, and dynamic behaviours (such as slow convergence).
منابع مشابه
ar X iv : h ep - t h / 01 07 18 3 v 1 2 1 Ju l 2 00 1 M - Theory and de Sitter Space
An M-theory constructed in an eleven-dimensional supermanifold with a ♦-product of field operators is shown to have a de Sitter space solution. Possible implications of this result for cosmology are mentioned. e-mail: [email protected]
متن کاملar X iv : h ep - t h / 01 07 24 2 v 1 2 7 Ju l 2 00 1 Operator Product Expansion in Logarithmic Conformal Field Theory
In logarithmic conformal field theory, primary fields come together with logarithmic partner fields on which the stress-energy tensor acts non-diagonally. Exploiting this fact and global conformal invariance of two-and three-point functions, operator product expansions of logarithmic operators in arbitrary rank logarithmic conformal field theory are derived.
متن کاملar X iv : h ep - l at / 0 11 00 06 v 1 2 O ct 2 00 1 1 Matrix elements of ∆ S = 2 operators with Wilson fermions
متن کامل
ar X iv : h ep - l at / 0 11 00 06 v 2 3 O ct 2 00 1 1 Matrix elements of ∆ S = 2 operators with Wilson fermions
متن کامل
ar X iv : h ep - l at / 0 01 00 56 v 1 2 8 O ct 2 00 0 1 Perturbative renormalization of the ∆ B = 2 four - quark operators in lattice
We present a perturbative calculation of the renormalization constants for the ∆B = 2 four-quark operators, which is needed to evaluate the bag parameters BB and BS in lattice QCD. The one-loop coefficients are calculated for the O(1/M) NRQCD heavy quark action and the O(a)-improved Wilson action for light quark. Using these coefficients, which remove O(αs/aM) error, we reanalyze our previous c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006