A non-binary Constraint Satisfaction Problem (CSP) can be solved directly using extended versions of binary techniques. Alternatively, the non-binary problem can be translated into an equivalent binary one. In this case, it is generally accepted that the translated problem can be solved by applying well-established techniques for binary CSPs. In this paper we evaluate the applicability of the l...

Abstract In order to improve the integration degree of traditional hydraulic pneumatic elevating and banlancing machine artillery, solve centralized energy system complex pipelines all over vehicle body, combine with electro-hydrostatic actuator (EHA) technology, a double variable based on EHA technology is designed, its composition working principle are introduced, application characteristics ...

In this paper we introduce a new class of quasilinear elliptic equations driven by the so-called double phase operator with variable exponents. We prove certain properties corresponding Musielak-Orlicz Sobolev spaces (an equivalent norm, uniform convexity, Radon-Riesz property respect to modular) and (continuity, strict monotonicity, (S+)-property). contrast known constant exponent case are abl...