Sciweavers

2976 search results - page 149 / 596
» On the bounded integer programming
Sort
View
BIRTHDAY
2009
Springer
15 years 9 months ago
Polynomial Precise Interval Analysis Revisited
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
Thomas Gawlitza, Jérôme Leroux, Jan R...
SODA
2000
ACM
121views Algorithms» more  SODA 2000»
15 years 4 months ago
Coloring powers of planar graphs
We give nontrivial bounds for the inductiveness or degeneracy of power graphs Gk of a planar graph G. This implies bounds for the chromatic number as well, since the inductiveness ...
Geir Agnarsson, Magnús M. Halldórsso...
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 9 months ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
ICTAI
1996
IEEE
15 years 7 months ago
COMPOzE: Intention-based Music Composition through Constraint Programming
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...
Martin Henz, Stefan Lauer, Detlev Zimmermann
ANOR
2011
214views more  ANOR 2011»
14 years 10 months ago
A hybrid constraint programming approach to the log-truck scheduling problem
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...
Nizar El Hachemi, Michel Gendreau, Louis-Martin Ro...