Time division duplex multi-carrier code-division multiple-access (TDD/MC-CDMA) exploits the strong correlation between upand downlink channel conditions of the slowly timevarying channels. The TDD mode enables pre-compensation of the channel influence on the uplink signal already at the mobile station based on the channel estimation from the downlink signal. The aim of this paper is to carry ou...

Variable elimination is the basic step of Adaptive Consistency[4]. It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are many classes of problems for which it is infeasible, due to its exponential space and time complexity. However, by restricting variable elimination so that only low arity constraints are processed and recorded, it can be e ective...

Program Dependency Graphs and Constraint Solving can be combined to achieve a powerful tool for information flow control, allowing to check source code for security problems such as external manipulation of critical computations. The method generates path conditions for critical information flows, being conditions over the program variables necessary for flow. As all variables are existentially...

Constraint modelling is difficult, particularly for novices. Hence, automated methods for improving models are valuable. The context of this paper is tailoring, a process where a solver-independent constraint model is adapted to a target solver. Tailoring is augmented with automated enhancement techniques, in particular common subexpression detection and elimination, which, while powerful, can ...

Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational outcome of their programs. Eliminating them as a means of higherlevel optimization may increase program execution speed. This paper explores an implementation of Wand and Siveroni’s algorithm for useless variable elimina...

Some distributed constraint optimization algorithms use a linear number of messages in the number of agents, but of exponential size. This is often the main limitation for their practical applicability. Here we present some distributed algorithms for these problems when they are arranged in a tree of agents. The exact algorithm, DCTE, computes the optimal solution but requires messages of size ...

Modern geometric constraint solvers use combinatorial graph algorithms to recursively decompose the system of polynomial constraint equations into generically rigid subsystems and then solve the overall system by solving subsystems, from the leave nodes up, to be able to access any and all solutions. Since the overall algebraic complexity of the solution task is dominated by the size of the lar...

In this paper, we discourse an analysis of classical first-order predicate logic as a constraint satisfaction problem, CSP. First, will offer our general framework for CSPs, and then apply it to logic. We claim would function new semantics, Then, prove the soundness completeness theorems with respect semantics. The latter theorem, which be proven by proof-search method, implies cut-elimination ...