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 ⋆

نویسنده

  • Eric Monfroy
چکیده

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).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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 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