Constraint integer programming [Elektronische Ressource] / vorgelegt von Tobias Achterberg

Tobias Achterberg

Description

GrötscJulitInBerlintegeragProgrammingnat.vDr.orgelegtverton,Dipl.-Math.henDipl.-Inf.DTgenehmigteobiaster:AThUnivterbDr.ergBixbBerlinersitderUSAFwissenscakultäthe:IBerlinIConstrainMathematikDissertationundhProf.haftenDr.derMartinThelecechehenersitätUnivProf.ersitätRobBerlinE.zuryErlangungUnivdesyakHouston,ThenderGradesDoktorAusspracder12.2007haften200783Dr.rer.JuliaFürhenacscassungEinDiesevArbaufeitenstelltteeinenvineinetegriertenerhaltenAnsatzausdassConstrFaintbPrProgramoutzen.grvammingw(CP)onenundkGemiscExphzwt-GanzzahligereinProgrammierungutoma-(ScMixefeh-dinInteFgerenePrdiesesogebgrConstrainamminger-,undMIPdas)t-Ganzzahligenvorliegendeor,hreibungdenewwirtenConstraufaintaufwInteeigerAspPrArboChip-Design-VgrThemaamming(CIPm)Ennennen.enenSoAndernfallswaufwohlGerätesMovdellierungs-Talswird,hwurfLösungsteceist.hnikConstrainenerdenbveiderdieFGesamelderungenieÿenAnsatzinT-TdenErfolgneuendieintetegriertenGemiscAnsatzbein,DieumeitdieheunKundvhenVStärkHinenihrenderGesambveidenpraktiscGebieteten.zubkalgorithmiscomeingegangen.binieren.

Sujets

• Informatik
• Mathematics

Informations

• Publié par: technische_universitat_berlin
• Publié le: 01 janvier 2007
• Nombre de lectures: 21
• Langue: Deutsch
• Poids de l'ouvrage: 3 Mo

Extrait

hel
Constrain
2007
t
Univ
In
h
teger
Prof.
Programming
der
v

orgelegt
Dr.
v
he
on
E.
Dipl.-Math.
Houston,
Dipl.-Inf.
Aussprac
T
83
obias
Dissertation
A
Prof.

Martin
h
ec
terb
ersit?t
erg
Rob
Berlin
y
der
y
F
T
akult?t

I
12.
I
2007

nat.
Mathematik
genehmigte
und


ter:
haften
Dr.
der

T
Gr?tsc
ec
T


hen
Univ
Univ
Berlin
ersit?t
Dr.
Berlin
ert
zur
Bixb
Erlangung

des
ersit
ak
,

USA
hen
ag
Grades
wissensc
Doktor
hen
der
he:

Juli
haften
Berlin

D
Dr.
rer.Julia
F?rAlgorithmen
Zusammenf
hgebiets
assung
hiedene
Diese

Arb
on
eit
die
stellt
tspric
einen

in
erw
tegrierten
ausf?hrlic
Ansatz
anhand
aus
h
Constr
der
aint
ehlfunktionen
Pr
ei
o
mo
gr
T
amming
ten,
(CP)
erden.
und
ten
Gemisc
auf
h
erimen
t-Ganzzahliger
eite
Programmierung

(
tion
Mixe
haltung
d
lerhaftes
Inte
dem
ger
eld
Pr
Sc
o
Pro-
gr
en
amming
ts
,

MIP
b
)
ezien
v
Programmen
or,
Arb
den
dieser
wir
ertet
Constr
in
aint
das
Inte
endigen
ger
wird
Pr
ekte
o
eit
gr
erik
amming
innerhalb
(CIP
onic
)
?ssen
nennen.
t
So
Sp
w
w?rde
ohl
eisen,
Mo
f?hren
dellierungs-
erw
als
eilproblem

hafts-V
h
ob
L?sungstec
eine
hnik
Wir
en
t
b
k
eider
on
F
Struktur
elder

ie?en
auf
in
mit
den
ec
neuen
unserer
in
f?r
tegrierten
L?sen
Ansatz
h
ein,
en?tigt
um
v
die
liefert
un
Besc

omp

b
hen
er-
St?rk
arian
en
blic
der
Einu?
b
t-L?sungsv
eiden
on
Gebiete
hen
zu
Dab
k
esonders
om
hen
binieren.
Der
Als
der
w
efasst
eite-
der
ren
die
Beitrag
tiges
stellen
F
wir
Ele
der
A
wissensc
Chip-Hersteller

herstellen,
hen
he
Gemeinsc
einer
haft
gegeb
die
ation
Soft
t.
w
Chip
are
erhalten
SCIP
zu
zur
des
V
ann,
erf?gung,
Chip
die
wird.
ein
tiges
F
diesem
ramew
das
ork
ations-Problem,
f?r
gepr?ft
Constrain
gegeb
t
t
In
h
teger
aufw
Programming
wie
darstellt
als
und
teger

w
h
und
T
Reihe
ec
ezisc
hnik
die
en
einzelnen
des
der
SA
ausn
T-L?sens
hn
b
v
einhaltet.
unseren
SCIP
bisher
ist
SA
im
en

den
Co
de.
de
die
f?r
das
ak
te
a-
v
demisc
Gemisc
he
t-Ganzzahligen
und
b

w
h
Die
t-k
orliegende
ommerzielle
eit
Zw
eine
ec
he
k
hreibung
e
K
frei
onen

und
h.
ew
Unser
v
Ansatz
sc
des
V
Constrain
ten
t
Hin
In
k
teger
ihren
Programming
auf
ist
Gesam
eine
erhalten
V
v
erallgemeinerung
aufw
v
praktisc
on
Exp
MIP,
ten.
die
ei

b
h
auf
die
algorithmisc
V
Asp
erw
eingegangen.
endung
zw
b
Hauptteil
eliebiger
Arb
Constrain
b
ts

erlaubt,
mit
solange
Chip-Design-V

ation,
h
ein
diese
h
durc
Thema
h
des
lineare
ac
Bedingungen
der


k
Design
en
utoma-
lassen
darstellt.
falls
m
alle

ganzzahligen
dass
V
logisc
ariablen
En
auf
wurf
feste
Sc
W
der
erte
enen
eingestellt
ezik
sind.
en
Die
h
Constrain
Andernfalls
ts
der
w
feh-
erden
V
v
aufw
on
dass
einer
F
b
innerhalb
eliebigen
Ger?tes
K
k
om-
in
bination
der
aus
v
CP-
endet
und
Ein
MIP
h
-T
T
ec
in
hnik
F
en
ist
b

ehandelt.
erik
Dies
b
b
dem
einhaltet
wird,
insb
der
esondere
ene
die
haltkreisen
Domain
wurf
Pr

op
te
agation
haft
,
eist.
die
zeigen,
Relaxierung
dieses
der
blem
Constrain
Constrain
ts
In
durc
Program
h
delliert
lineare
erden

ann
h
geb
ungen,
eine
so
v
wie
problemsp
die
hen
V
an,
erst?rkung
die
der
der
Relaxierung
Constrain
durc
und
h
Gesam
dynamisc
haltung
h
utzen.
generierte
estrec
Sc
ungen
hnitteb
Industrie-Beispielen
enen.
er-
Die
hen
derzeitige
Ansatz
V
den
ersion
v
v
endeten
on
T-T
SCIP
hnik
en
und
th?lt
elegen
alle
Erfolg
K
Metho
omp
v
onenpresen
Abstra
imp

is
This
of
thesis
and
in
of
tro
ecied

h
the
building
no
to
v
to
el
vior
paradigm

of
mo

as
onstr
of
aint
dieren
inte
er.
ger
p
pr
with
o
design
gr
of
amming
w
(CIP

),
v
whic
v
h
w
in
and
tegrates
of


onstr
metho
aint
these
pr

o
ts
gr
of
amming

(CP
the
)
solv
and
programming,
mixe
ation
d
t
inte
ufacturers
ger
that
pr
to
o
Otherwise,
gr
an
amming

(MIP)
emplo
mo
of
deling
pr
and
whic
solving


.
hniques.
problem
It
t
is
n
supplemen
that
ted
ts
b
set
y

the
t
soft

w
vii
are
ts
SCIP
extensiv
,
to
whic
v
h
the
is

a
MIP
solv
e
er
the
and

framew
v
ork
of
for
In

in
t
thesis
in
design
teger
whic
programming
imp
that
of
also
Chip
features
v
SA
e
T

solving


sp
hniques.

SCIP

is
sho
freely
b
a
ma
v
in
ailable
it
in
ed.

t

hip
de
is
for
erty
academic
oblem
and
is

whether
purp
a
oses.
ert
Our
e

w
t
b
in
as
teger
teger
programming
vide

b
h

is
the
a
individual
generalization
the
of
whole.
MIP
extensiv
that

allo
CIP
ws
the
for
SA
the
and

the
of
metho
arbitrary
of

ingredien
ts,
and
as
t
long
e
as
results
they

turn
t
in
arian
to
for
linear
individual

blo
ts
ks
on
a
the
solv

W
tin
fo
uous
on
v
algorithms
ariables
their
after
on
all
o
in
erall
teger

v
the
ariables
er.
ha
addition
v
mixed
e
teger
b
the
een
deals
xed.

The
veric

,
ts,
h
ma
an
y
ortan
they

b
electronic
e
automation.
linear
man
or
ha
more
e

mak
are
sure
treated
the
b
design
y
a
an

y
the


bination
the
of
hip.
CP
the
and
hip
MIP
ould

w
hniques:
erroneous
the
eha
propagation
that
of
y
the
failures
domains
the
b
where
y