Principles and practice of constraint programming - CP 2003: 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin u.a.
Springer
2003
|
| Series: | Lecture notes in computer science
2833 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XIX, 1005 S. graph. Darst. |
| ISBN: | 3540202021 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017536940 | ||
| 003 | DE-604 | ||
| 005 | 20040216 | ||
| 007 | t| | ||
| 008 | 030923s2003 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 968747809 |2 DE-101 | |
| 020 | |a 3540202021 |9 3-540-20202-1 | ||
| 035 | |a (OCoLC)464865961 | ||
| 035 | |a (DE-599)BVBBV017536940 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-188 |a DE-706 | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 111 | 2 | |a CP |n 9 |d 2003 |c Kinsale |j Verfasser |0 (DE-588)10064828-9 |4 aut | |
| 245 | 1 | 0 | |a Principles and practice of constraint programming - CP 2003 |b 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings |c Francesca Rossi (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a XIX, 1005 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2833 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z Kinsale |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rossi, Francesca |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2833 |w (DE-604)BV000000607 |9 2833 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010557194&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010557194 | |
Record in the Search Index
| _version_ | 1820874928086319104 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
TEN
CHALLENGES
REDUX:
RECENT
PROGRESS
IN
PROPOSITIONAL
REASONING
AND
SEARCH
.
1
HENRY
KAUTZ
AND
BART
SELMAN
AUTOMATED
MECHANISM
DESIGN:
A
NEW
APPLICATION
AREA
FOR
SEARCH
ALGORITHMS
.
19
TUOMAS
SANDHOLM
LANGUAGES
VERSUS
PACKAGES
FOR
CONSTRAINT
PROBLEM
SOLVING
.
37
MARK
WALLACE
CONSTRAINT
PATTERNS
.
53
TOBY
WALSH
BEST
PAPER
CONTROL
ABSTRACTIONS
FOR
LOCAL
SEARCH
.
65
PASCAL
VAN
HENTENRYCK
AND
LAURENT
MICHEL
FULL
PAPERS
IMPROVED
ALGORITHMS
FOR
COUNTING
SOLUTIONS
IN
CONSTRAINT
SATISFACTION
PROBLEMS
.
81
OLA
ANGELSMARK
AND
PETER
JONSSON
BOOSTING
CHAFF'S
PERFORMANCE
BY
INCORPORATING
CSP
HEURISTICS
.
96
CARLOS
ANS´OTEGUI,
JOSE
LARRUBIA,
AND
FELIP
MANY`A
EFFICIENT
CNF
ENCODING
OF
BOOLEAN
CARDINALITY
CONSTRAINTS
.
108
OLIVIER
BAILLEUX
AND
YACINE
BOUFKHAD
A
TWO-STAGE
HYBRID
ALGORITHM
FOR
PICKUP
AND
DELIVERY
VEHICLE
ROUTING
PROBLEMS
WITH
TIME
WINDOWS
.
123
RUSSELL
BENT
AND
PASCAL
VAN
HENTENRYCK
SOLVING
FINITE
DOMAIN
CONSTRAINT
HIERARCHIES
BY
LOCAL
CONSISTENCY
AND
TREE
SEARCH
.
138
STEFANO
BISTARELLI,
PHILIPPE
CODOGNET,
KIN-CHUEN
HUI,
AND
JIMMY
HO
MAN
LEE
XII
TABLE
OF
CONTENTS
HIBISCUS
:
A
CONSTRAINT
PROGRAMMING
APPLICATION
TO
STAFF
SCHEDULING
IN
HEALTH
CARE
.
153
ST´EPHANE
BOURDAIS,
PHILIPPE
GALINIER,
AND
GILLES
PESANT
CONSTRAINT-BASED
OPTIMIZATION
WITH
THE
MINIMAX
DECISION
CRITERION
.
168
CRAIG
BOUTILIER,
RELU
PATRASCU,
PASCAL
POUPART,
AND
DALE
SCHUURMANS
AN
ALGEBRAIC
APPROACH
TO
MULTI-SORTED
CONSTRAINTS
.
183
ANDREI
A.
BULATOV
AND
PETER
JEAVONS
PERIODIC
CONSTRAINT
SATISFACTION
PROBLEMS:
POLYNOMIAL-TIME
ALGORITHMS
.
199
HUBIE
CHEN
BOX
CONSTRAINT
COLLECTIONS
FOR
ADHOC
CONSTRAINTS
.
214
CHI
KAN
CHENG,
JIMMY
HO
MAN
LEE,
AND
PETER
J.
STUCKEY
PROPAGATION
REDUNDANCY
IN
REDUNDANT
MODELLING
.
229
CHIU
WO
CHOI,
JIMMY
HO
MAN
LEE,
AND
PETER
J.
STUCKEY
SOFT
CONSTRAINTS:
COMPLEXITY
AND
MULTIMORPHISMS
.
244
DAVID
A.
COHEN,
MARTIN
COOPER,
PETER
JEAVONS,
AND
ANDREI
KROKHIN
CONSTRAINT
SATISFACTION
DIFFERENTIAL
PROBLEMS
.
259
JORGE
CRUZ
AND
PEDRO
BARAHONA
A
WEALTH
OF
SAT
DISTRIBUTIONS
WITH
PLANTED
ASSIGNMENTS
.
274
TASSOS
DIMITRIOU
REDUNDANT
MODELING
FOR
THE
QUASIGROUP
COMPLETION
PROBLEM
.
288
IV´AN
DOT´U,
ALVARO
DEL
VAL,
AND
MANUEL
CEBRI´AN
OPEN
CONSTRAINT
OPTIMIZATION
.
303
BOI
FALTINGS
AND
SANTIAGO
MACHO-GONZALEZ
CONSTRAINTS
FOR
BREAKING
MORE
ROW
AND
COLUMN
SYMMETRIES
.
318
ALAN
M.
FRISCH,
CHRIS
JEFFERSON,
AND
IAN
MIGUEL
GENERIC
SBDD
USING
COMPUTATIONAL
GROUP
THEORY
.
333
IAN
P.
GENT,
WARWICK
HARVEY,
TOM
KELSEY,
AND
STEVE
LINTON
USING
STOCHASTIC
LOCAL
SEARCH
TO
SOLVE
QUANTIFIED
BOOLEAN
FORMULAE
.
348
IAN
P.
GENT,
HOLGER
H.
HOOS,
ANDREW
G.D.
ROWLEY,
AND
KEVIN
SMYTH
SOLVING
MAX-SAT
AS
WEIGHTED
CSP
.
363
SIMON
DE
GIVRY,
JAVIER
LARROSA,
PEDRO
MESEGUER,
AND
THOMAS
SCHIEX
CONSTRAINT
REASONING
OVER
STRINGS
.
377
KEITH
GOLDEN
AND
WANLIN
PANG
TRACTABILITY
BY
APPROXIMATING
CONSTRAINT
LANGUAGES
.
392
MARTIN
J.
GREEN
AND
DAVID
A.
COHEN
TABLE
OF
CONTENTS
XIII
A
HYBRID
CONSTRAINT
PROGRAMMING
AND
SEMIDEFINITE
PROGRAMMING
APPROACH
FOR
THE
STABLE
SET
PROBLEM
.
407
WILLEM
JAN
VAN
HOEVE
A
CONSTRAINT-AIDED
CONCEPTUAL
DESIGN
ENVIRONMENT
FOR
AUTODESK
INVENTOR
.
422
ALAN
HOLLAND,
BARRY
O'CALLAGHAN,
AND
BARRY
O'SULLIVAN
FAST
BOUND
CONSISTENCY
FOR
THE
GLOBAL
CARDINALITY
CONSTRAINT
.
437
IRIT
KATRIEL
AND
SVEN
THIEL
PROPAGATING
N-ARY
RIGID-BODY
CONSTRAINTS
.
452
LUDWIG
KRIPPAHL
AND
PEDRO
BARAHONA
SOLVING
'STILL
LIFE'
WITH
SOFT
CONSTRAINTS
AND
BUCKET
ELIMINATION
.
466
JAVIER
LARROSA
AND
ENRIC
MORANCHO
EXPLOITING
MULTIDIRECTIONALITY
IN
COARSE-GRAINED
ARC
CONSISTENCY
ALGORITHMS
.
480
CHRISTOPHE
LECOUTRE,
FR´ED´ERIC
BOUSSEMART,
AND
FRED
HEMERY
LOCAL-SEARCH
TECHNIQUES
FOR
PROPOSITIONAL
LOGIC
EXTENDED
WITH
CARDINALITY
CONSTRAINTS
.
495
LENGNING
LIU
AND
MIROSYYLAW
TRUSZCZYNSKI
DISCREPANCY-BASED
ADDITIVE
BOUNDING
FOR
THE
ALLDIFFERENT
CONSTRAINT
.
510
ANDREA
LODI,
MICHELA
MILANO,
AND
LOUIS-MARTIN
ROUSSEAU
A
SYNTHESIS
OF
CONSTRAINT
SATISFACTION
AND
CONSTRAINT
SOLVING
.
525
MICHAEL
J.
MAHER
MAINTAINING
LONGEST
PATHS
INCREMENTALLY
.
540
LAURENT
MICHEL
AND
PASCAL
VAN
HENTENRYCK
RESOLUTION
AND
CONSTRAINT
SATISFACTION
.
555
DAVID
G.
MITCHELL
GENERATING
HIGH
QUALITY
SCHEDULES
FOR
A
SPACECRAFT
MEMORY
DOWNLINK
PROBLEM
.
570
ANGELO
ODDI,
NICOLA
POLICELLA,
AMEDEO
CESTA,
AND
GABRIELLA
CORTELLESSA
SYMMETRY
BREAKING
USING
STABILIZERS
.
585
JEAN-FRAN¸COIS
PUGET
AN
EFFICIENT
BOUNDS
CONSISTENCY
ALGORITHM
FOR
THE
GLOBAL
CARDINALITY
CONSTRAINT
.
600
CLAUDE-GUY
QUIMPER,
PETER
VAN
BEEK,
ALEJANDRO
L´OPEZ-ORTIZ,
ALEXANDER
GOLYNSKI,
AND
SAYYED
BASHIR
SADJAD
XIV
TABLE
OF
CONTENTS
SOLVING
EXISTENTIALLY
QUANTIFIED
CONSTRAINTS
WITH
ONE
EQUALITY
AND
ARBITRARILY
MANY
INEQUALITIES
.
615
STEFAN
RATSCHAN
USING
CONSTRAINT
PROGRAMMING
TO
SOLVE
THE
MAXIMUM
CLIQUE
PROBLEM
.
634
JEAN-CHARLES
R´EGIN
GREATER
EFFICIENCY
FOR
CONDITIONAL
CONSTRAINT
SATISFACTION
.
649
MIHAELA
SABIN,
EUGENE
C.
FREUDER,
AND
RICHARD
J.
WALLACE
INCREMENTAL
COMPUTATION
OF
RESOURCE-ENVELOPES
IN
PRODUCER-CONSUMER
MODELS
.
664
T.K.
SATISH
KUMAR
APPROXIMATED
CONSISTENCY
FOR
KNAPSACK
CONSTRAINTS
.
679
MEINOLF
SELLMANN
COST-BASED
FILTERING
FOR
SHORTER
PATH
CONSTRAINTS
.
694
MEINOLF
SELLMANN
BOUNDED
BACKTRACKING
FOR
THE
VALUED
CONSTRAINT
SATISFACTION
PROBLEMS
.
709
CYRIL
TERRIOUX
AND
PHILIPPE
J´EGOU
CONSISTENCY
AND
PROPAGATION
WITH
MULTISET
CONSTRAINTS:
A
FORMAL
VIEWPOINT
.
724
TOBY
WALSH
PRUNING
WHILE
SWEEPING
OVER
TASK
INTERVALS
.
739
ARMIN
WOLF
IMPROVING
BACKTRACK
SEARCH
FOR
SOLVING
THE
TCSP
.
754
LIN
XU
AND
BERTHE
Y.
CHOUEIRY
CERTAINTY
CLOSURE:
A
FRAMEWORK
FOR
RELIABLE
CONSTRAINT
REASONING
WITH
UNCERTAINTY
.
769
NEIL
YORKE-SMITH
AND
CARMEN
GERVET
POSTER
PAPERS
CLP(PDF(Y)):
CONSTRAINTS
FOR
PROBABILISTIC
REASONING
IN
LOGIC
PROGRAMMING
.
784
NICOS
ANGELOPOULOS
TO
BE
OR
NOT
TO
BE
.
A
GLOBAL
CONSTRAINT
.
789
CHRISTIAN
BESSI`ERE
AND
PASCAL
VAN
HENTENRYCK
CONSTRAINT
PROGRAMMING
FOR
MODELLING
AND
SOLVING
MODAL
SATISFIABILITY
.
795
SEBASTIAN
BRAND,
ROSELLA
GENNARI,
AND
MAARTEN
DE
RIJKE
DISTRIBUTED
FORWARD
CHECKING
.
801
ISMEL
BRITO
AND
PEDRO
MESEGUER
TABLE
OF
CONTENTS
XV
A
NEW
CLASS
OF
BINARY
CSPS
FOR
WHICH
ARC-CONSISTENCY
IS
A
DECISION
PROCEDURE
.
807
DAVID
A.
COHEN
SEMI-AUTOMATIC
MODELING
BY
CONSTRAINT
ACQUISITION
.
812
REMI
COLETTA,
CHRISTIAN
BESSI`ERE,
BARRY
O'SULLIVAN,
EUGENE
C.
FREUDER,
SARAH
O'CONNELL,
AND
JOEL
QUINQUETON
STRUCTURED
VS.
UNSTRUCTURED
LARGE
NEIGHBORHOOD
SEARCH:
A
CASE
STUDY
ON
JOB-SHOP
SCHEDULING
PROBLEMS
WITH
EARLINESS
AND
TARDINESS
COSTS
.
817
EMILIE
DANNA
AND
LAURENT
PERRON
USING
THE
BREAKOUT
ALGORITHM
TO
IDENTIFY
HARD
AND
UNSOLVABLE
SUBPROBLEMS
.
822
CARLOS
EISENBERG
AND
BOI
FALTINGS
TOY(FD):
SKETCH
OF
OPERATIONAL
SEMANTICS
.
827
ANTONIO
J.
FERN´ANDEZ,
TERESA
HORTAL´A-GONZ´ALEZ,
AND
FERNANDO
S´AENZ-P´EREZ
SCHEDULING
IN
THE
FACE
OF
UNCERTAIN
RESOURCE
CONSUMPTION
AND
UTILITY
.
832
JEREMY
FRANK
AND
RICHARD
DEARDEN
SUPERTREE
CONSTRUCTION
WITH
CONSTRAINT
PROGRAMMING
.
837
IAN
P.
GENT,
PATRICK
PROSSER,
BARBARA
M.
SMITH,
AND
WU
WEI
(IN)EFFECTIVENESS
OF
LOOK-AHEAD
TECHNIQUES
IN
A
MODERN
SAT
SOLVER
.
842
ENRICO
GIUNCHIGLIA,
MARCO
MARATEA,
AND
ARMANDO
TACCHELLA
REDUCE
AND
ASSIGN:
A
CONSTRAINT
LOGIC
PROGRAMMING
AND
LOCAL
SEARCH
INTEGRATION
FRAMEWORK
TO
SOLVE
COMBINATORIAL
SEARCH
PROBLEMS
.
847
NUNO
GOMES,
ZITA
VALE,
AND
CARLOS
RAMOS
A
CANONICITY
TEST
FOR
CONFIGURATION
.
853
STEPHANE
GRANDCOLAS,
LAURENT
HENOCQUE,
AND
NICOLAS
PRCOVIC
IMPROVED
ALGORITHMS
FOR
MAX-RESTRICTED
PATH
CONSISTENCY
.
858
FABRIZIO
GRANDONI
AND
GIUSEPPE
F.
ITALIANO
CP-IP
TECHNIQUES
FOR
THE
BID
EVALUATION
IN
COMBINATORIAL
AUCTIONS
.
863
ALESSIO
GUERRI
AND
MICHELA
MILANO
A
TWO-LEVEL
SEARCH
STRATEGY
FOR
PACKING
UNEQUAL
CIRCLES
INTO
A
CIRCLE
CONTAINER
.
868
WEN
QI
HUANG,
YU
LI,
BERNARD
JURKOWIAK,
CHU
MIN
LI,
AND
RU
CHU
XU
UNRESTRICTED
NOGOOD
RECORDING
IN
CSP
SEARCH
.
873
GEORGE
KATSIRELOS
AND
FAHIEM
BACCHUS
XVI
TABLE
OF
CONTENTS
CONSTRAINTS
OVER
ONTOLOGIES
.
878
FRAN¸COIS
LABURTHE
USING
CONSTRAINTS
FOR
EXPLORING
CATALOGS
.
883
FRAN¸COIS
LABURTHE
AND
YVES
CASEAU
INTERMEDIATE
(LEARNED)
CONSISTENCIES
.
889
ARNAUD
LALLOUET,
ANDRE¨YY
LEGTCHENKO,
THI-BICH-HANH
DAO,
AND
ABDELALI
ED-DBALI
SEMI-INDEPENDENT
PARTITIONING:
A
METHOD
FOR
BOUNDING
THE
SOLUTION
TO
COP'S
.
894
DAVID
LARKIN
BOOSTING
AS
A
METAPHOR
FOR
ALGORITHM
DESIGN
.
899
KEVIN
LEYTON-BROWN,
EUGENE
NUDELMAN,
GALEN
ANDREW,
JIM
MCFADDEN,
AND
YOAV
SHOHAM
AN
EFFICIENT
FILTERING
ALGORITHM
FOR
DISJUNCTION
OF
CONSTRAINTS
.
904
OLIVIER
LHOMME
INCOP:
AN
OPEN
LIBRARY
FOR
INCOMPLETE
COMBINATORIAL
OPTIMIZATION
.
909
BERTRAND
NEVEU
AND
GILLES
TROMBETTONI
A
COMPOSITION
ALGORITHM
FOR
VERY
HARD
GRAPH
3-COLORABILITY
INSTANCES
.
914
SEIICHI
NISHIHARA,
KAZUNORI
MIZUNO,
AND
KOHSUKE
NISHIHARA
EFFICIENT
REPRESENTATION
OF
DISCRETE
SETS
FOR
CONSTRAINT
PROGRAMMING
.
920
SHUJI
OHNISHI,
HIROAKI
TASAKA,
AND
NAOYUKI
TAMURA
APPLYING
INTERCHANGEABILITY
TECHNIQUES
TO
THE
DISTRIBUTED
BREAKOUT
ALGORITHM
.
925
ADRIAN
PETCU
AND
BOI
FALTINGS
SYMMETRY
BREAKING
IN
GRACEFUL
GRAPHS
.
930
KAREN
E.
PETRIE
AND
BARBARA
M.
SMITH
TREE
LOCAL
SEARCH
.
935
NICOLAS
PRCOVIC
A
SAT-BASED
APPROACH
TO
MULTIPLE
SEQUENCE
ALIGNMENT
.
940
STEVEN
PRESTWICH,
DES
HIGGINS,
AND
ORLA
O'SULLIVAN
MAINTAINING
DOMINANCE
CONSISTENCY
.
945
IGOR
RAZGON
AND
AMNON
MEISELS
TERMINATING
DECISION
ALGORITHMS
OPTIMALLY
.
950
TUOMAS
SANDHOLM
TABLE
OF
CONTENTS
XVII
SCENE
RECONSTRUCTION
BASED
ON
CONSTRAINTS:
DETAILS
ON
THE
EQUATION
SYSTEM
DECOMPOSITION
.
956
GILLES
TROMBETTONI
AND
MARTA
WILCZKOWIAK
DOCTORAL
ABSTRACTS
A
NEW
APPROACH
TO
SOLVING
SAT-ENCODED
BINARY
CSPS
.
962
CARLOS
ANS´OTEGUI
FERERA:
A
MULTI-AGENT
APPROACH
TO
CONSTRAINT
SATISFACTION
.
963
MUHAMMED
BASHARU
SEMANTIC
DECOMPOSITION
FOR
SOLVING
DISTANCE
CONSTRAINTS
.
964
HEIKEL
BATNINI
AND
MICHEL
RUEHER
USING
CONSTRAINT
PROGRAMMING
AND
SIMULATION
FOR
EXECUTION
MONITORING
AND
ON-LINE
RESCHEDULING
WITH
UNCERTAINTY
.
966
JULIEN
BIDOT
ON
THE
ENHANCEMENT
OF
THE
INFORMED
BACKTRACKING
ALGORITHM
.
967
JLIFI
BOUTHEINA
AND
KHALED
GH´EDIRA
EXTENDING
CLP
WITH
METAHEURISTICS
.
968
OLE
BOYSEN
SELF
CONFIGURING
CONSTRAINT
PROGRAMMING
SYSTEMS
.
969
TOM
CARCHRAE
INTERACTIVE
TRADEOFF
GENERATION
.
970
MOYRA
DUGGAN,
BARRY
O'SULLIVAN,
AND
EUGENE
C.
FREUDER
INTRODUCING
ESRA
,
A
RELATIONAL
LANGUAGE
FOR
MODELLING
COMBINATORIAL
PROBLEMS
.
971
PIERRE
FLENER,
JUSTIN
PEARSON,
AND
MAGNUS
YY
AGREN
ABSTRACTING
CONSTRAINTS
USING
CONSTRAINTS
.
972
JAMES
GIBBONS
SENSITIVITY
ANALYSIS
IN
CSPS
.
973
DIARMUID
GLYNN
SOLUTION
STABILITY
IN
CONSTRAINT
SATISFACTION
PROBLEMS
.
974
EMMANUEL
HEBRARD
DISTN
:
AN
EUCLIDEAN
DISTANCE
GLOBAL
CONSTRAINT
.
975
MICHAEL
HEUSCH
ALGORITHMIC
MECHANISM
DESIGN
AND
CONSTRAINTS
.
976
ALAN
HOLLAND
AND
BARRY
O'SULLIVAN
XVIII
TABLE
OF
CONTENTS
PREFERENCE
CONSTRAINTS:
NEW
GLOBAL
SOFT
CONSTRAINTS
DEDICATED
TO
PREFERENCE
BINARY
RELATIONS
.
977
R´EMY-ROBERT
JOSEPH,
PETER
CHAN,
MICHAEL
HIROUX,
AND
GEORGES
WEIL
OPTIMISING
THE
REPRESENTATION
AND
EVALUATION
OF
SEMIRING
COMBINATION
CONSTRAINTS
.
978
JEROME
KELLEHER
AND
BARRY
O'SULLIVAN
SYMMETRY
BREAKING
ORDERING
CONSTRAINTS
.
979
ZEYNEP
KIZILTAN
OBSERVATION
OF
CONSTRAINT
PROGRAMS
.
980
LUDOVIC
LANGEVINE
SEARCH
PROGRAMMING
.
981
WOJCIECH
LEGIERSKI
EXPLOITING
MICROSTRUCTURE
IN
CSPS
.
982
CHAVALIT
LIKITVIVATANAVONG
USING
CASE-BASED
REASONING
TO
WRITE
CONSTRAINT
PROGRAMS
.
983
JAMES
LITTLE,
CORMAC
GEBRUERS,
DEREK
BRIDGE,
AND
EUGENE
C.
FREUDER
REFORMULATION
TECHNIQUES
FOR
A
CLASS
OF
PERMUTATION
PROBLEMS
.
984
TONI
MANCINI
NUSBDS:
AN
EASY
TO
USE
SYMMETRY
BREAKING
SYSTEM
.
985
IAIN
MCDONALD
INTERACTIVITY
IN
CONSTRAINT
PROGRAMMING
.
986
TOM´AYYSM
¨
ULLER
IDENTIFYING
INCONSISTENT
CSPS
BY
RELAXATION
.
987
TOMAS
NORDLANDER,
KEN
BROWN,
AND
DEREK
SLEEMAN
USEFUL
EXPLANATIONS
.
988
BARRY
O'CALLAGHAN,
EUGENE
C.
FREUDER,
AND
BARRY
O'SULLIVAN
TEACHER
AND
LEARNER
PROFILES
FOR
CONSTRAINT
ACQUISITION
.
989
SARAH
O'CONNELL,
BARRY
O'SULLIVAN,
AND
EUGENE
C.
FREUDER
COMPARISON
OF
SYMMETRY
BREAKING
METHODS
.
990
KAREN
E.
PETRIE
IMPROVED
BRANCH
AND
BOUND
ALGORITHMS
FOR
MAX-2-SAT
AND
WEIGHTED
MAX-2-SAT
.
991
JORDI
PLANES
SEARCH
FOR
MATHEMATICAL
OBJECTS
.
992
COLIN
QUIRKE
TABLE
OF
CONTENTS
XIX
EXPLANATIONS
FOR
GLOBAL
CONSTRAINTS
.
993
GUILLAUME
ROCHART
WATCHING
CLAUSES
IN
QUANTIFIED
BOOLEAN
FORMULAE
.
994
ANDREW
G.D.
ROWLEY
DISTRIBUTED
CONSTRAINT-BASED
RAILWAY
SIMULATION
.
995
HANS
SCHLENKER
DYNAMIC
STEP
SIZE
ADJUSTMENT
IN
ITERATIVE
DEEPENING
SEARCH
.
996
DANIEL
SHERIDAN
LEARNING
GOOD
VARIABLE
ORDERINGS
.
997
PAULA
STURDY
AN
ADAPTIVE
CONTROLLER
FOR
REAL-TIME
RESOLUTION
OF
THE
VEHICLE
ROUTING
PROBLEM
.
998
ANN
TIGHE,
FINLAY
SMITH,
AND
GERARD
LYONS
YY
-DYNAMIC
CONTROLLABILITY
OF
SIMPLE
TEMPORAL
PROBLEMS
WITH
PREFERENCES
AND
UNCERTAINTY
.
999
KRISTEN
BRENT
VENABLE
COMPUTING
EXPLANATIONS
FOR
GLOBAL
SCHEDULING
CONSTRAINTS
.
1000
PETR
VIL´YYM
RESTART
STRATEGIES:
ANALYSIS
AND
SIMULATION
.
1001
HUAYUE
WU
AND
PETER
VAN
BEEK
OPENSOLVER:
A
COORDINATION-ENABLED
ABSTRACT
BRANCH-AND-PRUNE
TREE
SEARCH
ENGINE
.
1002
PETER
ZOETEWEIJ
AUTHOR
INDEX
.
1003 |
| any_adam_object | 1 |
| author_corporate | CP Kinsale |
| author_corporate_role | aut |
| author_facet | CP Kinsale |
| author_sort | CP Kinsale |
| building | Verbundindex |
| bvnumber | BV017536940 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f DAT 310f |
| ctrlnum | (OCoLC)464865961 (DE-599)BVBBV017536940 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017536940</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040216</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030923s2003 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968747809</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540202021</subfield><subfield code="9">3-540-20202-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)464865961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017536940</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CP</subfield><subfield code="n">9</subfield><subfield code="d">2003</subfield><subfield code="c">Kinsale</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10064828-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles and practice of constraint programming - CP 2003</subfield><subfield code="b">9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings</subfield><subfield code="c">Francesca Rossi (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 1005 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2833</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2003</subfield><subfield code="z">Kinsale</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rossi, Francesca</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2833</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2833</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010557194&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010557194</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Kinsale gnd-content |
| genre_facet | Konferenzschrift 2003 Kinsale |
| id | DE-604.BV017536940 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:32Z |
| institution | BVB |
| institution_GND | (DE-588)10064828-9 |
| isbn | 3540202021 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010557194 |
| oclc_num | 464865961 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-188 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-188 DE-706 |
| physical | XIX, 1005 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | CP 9 2003 Kinsale Verfasser (DE-588)10064828-9 aut Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings Francesca Rossi (ed.) Berlin u.a. Springer 2003 XIX, 1005 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2833 Includes bibliographical references and index Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Kinsale gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Rossi, Francesca Sonstige oth Lecture notes in computer science 2833 (DE-604)BV000000607 2833 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010557194&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings Lecture notes in computer science Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)1071861417 |
| title | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings |
| title_auth | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings |
| title_exact_search | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings |
| title_full | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings Francesca Rossi (ed.) |
| title_fullStr | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings Francesca Rossi (ed.) |
| title_full_unstemmed | Principles and practice of constraint programming - CP 2003 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings Francesca Rossi (ed.) |
| title_short | Principles and practice of constraint programming - CP 2003 |
| title_sort | principles and practice of constraint programming cp 2003 9th international conference cp 2003 kinsale ireland september 29 october 3 2003 proceedings |
| title_sub | 9th international conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 ; proceedings |
| topic | Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Constraint-Programmierung Konferenzschrift 2003 Kinsale |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010557194&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT cpkinsale principlesandpracticeofconstraintprogrammingcp20039thinternationalconferencecp2003kinsaleirelandseptember29october32003proceedings AT rossifrancesca principlesandpracticeofconstraintprogrammingcp20039thinternationalconferencecp2003kinsaleirelandseptember29october32003proceedings |