279 search results - page 6 / 56 » Constructive Interval Disjunction |
129
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
153
Voted
CORR
2006
Springer
15 years 5 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 ...
201
Voted
IOR
2011
15 years 23 days 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...
182
Voted
ASP
2003
Springer
15 years 11 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 ...
120
Voted
ATAL
2000
Springer
15 years 10 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...