Sentence examples for tractable constraints from inspiring English sources

The easily interpretable DT's rules that describe the security regions are tractable constraints to be included in the optimization routines of electricity generation and gas production rescheduling.

The use of disjunctions has proven to be a useful method for constructing tractable constraint classes from existing classes; the well-known 'max-closed' and 'ORD-Horn' constraints are examples of tractable classes that can be constructed this way.

Most importantly, we show that this procedure is polynomial-time for arbitrary sets of all abstraction heuristics with which we are acquainted, including explicit abstractions such as pattern databases (regular or constrained) and merge-and-shrink, and implicit abstractions such as fork-decomposition and abstractions based on tractable constraint optimization over tree-shaped constraint networks.

We prove that most approaches to tractable temporal constraint reasoning can be encoded as Horn DLRs, including the ORD-Horn algebra by Nebel and Bürckert and the simple temporal constraints by Dechter et al. Thus, DLRs is a suitable unifying formalism for reasoning about temporal constraints.

In order to make the problem computationally tractable, the stress constraints are reformulated into equivalent ones and relaxed by a cosine-type relaxation scheme.

We compare tractable classes of constraint satisfaction problems (CSPs).

Bernstein's approximation is conducted to make the chance constraint tractable.

It turns out that the above problem (P2) is a combinatorial optimization problem [28]; to make it tractable, the integer constraint is relaxed to b i ≥ 0 (25).

Thus we try to discover subclasses of Horn disjunctive linear constraints with tractable variable elimination problems.

Early work has shown that consistency checking of complete networks of basic CDC constraints is tractable, while reasoning with the CDC in general is NP-hard.

However, the power allocation problem is, in general, more tractable under network power constraint.