279 search results - page 6 / 56 » Constructive Interval Disjunction |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We present a linear time algorithm for the minimum linear arrangement problem on proper interval graphs. The obtained ordering is a 4-approximation for general interval graphs. 1 ...
126
click to vote
IOR
2011
14 years 6 months ago
2011
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
108
click to vote
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
70
Voted
ATAL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The agent design problem is as follows: Given an environment, together with a specification of a task, is it possible to construct an agent that will guarantee to succes...