ENTCS

2010

13 years 7 months ago
2010

nalysis by abstract interpretation: a Mathematical Programming approach1 Eric Goubaulta,2 St

NMA

2010

13 years 8 months ago
2010

One of the most important applications of the Asymmetric Hamiltonian Path Problem is in scheduling. In this paper we describe a variant of this problem, and develop both a mathemat...

JAIR

2010

13 years 8 months ago
2010

Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...

ICMS

2010

13 years 8 months ago
2010

Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to ﬁnd numerical values to assign to the decision variables, e.g. a so...

MP

1998

13 years 9 months ago
1998

In the last 25 years approximation algorithms for discrete optimization problems have been in the center of research in the fields of mathematical programming and computer science...

JAR

2002

13 years 9 months ago
2002

Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...

AI

1999

Springer

13 years 9 months ago
1999

Springer

Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...

TR

2008

13 years 10 months ago
2008

We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...

JMLR

2006

13 years 10 months ago
2006

The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...

ANOR

2007

13 years 10 months ago
2007

Abstract This paper is devoted to bilevel optimization, a branch of mathematical programming of both practical and theoretical interest. Starting with a simple example, we proceed ...