The constraint satisfaction problem (CSP) has important applications in computer science and AI. In particular, infinite-domain CSPs have been intensively used subareas of AI such as spatio-temporal reasoning. Since is a computationally hard problem, much work devoted to identifying restricted problems that are efficiently solvable. One way doing this restrict the interactions variables constra...

For a meromorphic function $f$ in the complex plane, we shall introduce the definition of five-value rich line of $f$, and study the uniqueness of meromorphic functions of finite order in an angular domain by involving the five-value rich line and Borel directions. Finally, the relationship between a five-value rich line and a Borel direction is discussed, that is, every Borel direction of $f$ ...

In this paper, time-domain dynamic analysis of dam - infinite reservoir is studied. A numerical method, discrete singular convolution (DSC), which seems to be efficient and simple, has been used to model the mixed boundary conditions. After a brief introduction, DSC is applied to model the equation of motion of fluid-structure with constant cross section subjected to El-Centro (1940) earthquake...

The present work is aimed at analyzing the thermoelastic disturbances in a circular plate of finite thickness and infinite extent subjected to constant initial temperature and axisymmetric heat supply. Integral transform technique is used. Analytic solutions for temperature, displacement and stresses are derived within the context of unified system of equations in generalized thermoelasticity i...

The lack of a uni ed framework for constraint problems has resulted in a diversity of constraint solution techniques and methods for describing constraint problems. A uni ed framework would allow the construction of a kernel constraint engine, capable of solving constraint problems composed of models from di erent domains, such as engineering and geometric problems. As a rst step towards such a...

A two dimensional generalized thermoelastic problem of a thick circular plate of finite thickness and infinite extent subjected to continuous axisymmetric heat supply and an internal heat generation is studied within the context of generalized thermoelasticity. Unified system of equations for classical coupled thermoelasticity, Lord-Shulman and Green-Lindsay theory is considered. An exact solut...

In this article, we study the quantified constraint satisfaction problem (QCSP) over infinite domains. We develop a technique called collapsibility that allows one to give strong complexity upper bounds on the QCSP. This technique makes use of both logical and universalalgebraic ideas. We give applications illustrating the use of our technique.

appeared in the proceedings of ICDT’10. [44] M. Bodirsky and J. Nešetřil. Constraint satisfaction with countable homogeneous templates. In Proceedings of CSL, pages 44–57, Vienna, 2003. [45] M. Bodirsky and J. Nešetřil. Constraint satisfaction with countable homogeneous templates. Journal of Logic and Computation, 16(3):359–373, 2006. [46] M. Bodirsky and D. Piguet. Finite trees are Ramsey with...