2647 search results - page 13 / 530 » Solving Term Inequalities |
PODS
2006
ACM
15 years 11 months ago
2006
ACM
Query containment is a fundamental algorithmic problem in database query processing and optimization. Under set semantics, the query-containment problem for conjunctive queries ha...
102
click to vote
SAT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
106
click to vote
SIAMJO
2010
14 years 10 months ago
2010
The imposition of general disjunctions of the form “πx ≤ π0 ∨ πx ≥ π0 + 1”, where π, π0 are integer valued, is a fundamental operation in both the branch-and-bound...
MMAS
2010
Springer
14 years 6 months ago
2010
Springer
The two-dimensional layout optimization problem reinforced by the efficient space utilization demand has a wide spectrum of practical applications. Formulating the problem as a non...
124
click to vote
AUTOMATICA
2005
14 years 11 months ago
2005
The Integral-Inequality Method is a new way of tackling the delay-dependent stabilization problem for a linear system with time-varying state and input delays: x(t) = Ax(t) + A1x(...