Verfügbarkeit: Principles and practice of constraint programming

Principles and practice of constraint programming: 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 8124
Schlagworte:	Constraint-Programmierung Konferenzschrift > 2013 > Uppsala
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XVIII, 898 S. Ill., graph. Darst.
ISBN:	3642406262 9783642406263

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041255553
003	DE-604
005	20151015
007	t\|
008	130904s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13N33 \|2 dnb
016	7		\|a 1037896599 \|2 DE-101
020			\|a 3642406262 \|c Pb. : ca. EUR 101.65 (DE) \|9 3-642-40626-2
020			\|a 9783642406263 \|c Pb. : ca. EUR 101.65 (DE) \|9 978-3-642-40626-3
035			\|a (OCoLC)862983548
035			\|a (DE-599)DNB1037896599
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.116 \|2 22/ger
084			\|a DAT 706f \|2 stub
245	1	0	\|a Principles and practice of constraint programming \|b 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings \|c Christian Schulte (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XVIII, 898 S. \|b Ill., 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 8124
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 2013 \|z Uppsala \|2 gnd-content
689	0	0	\|a Constraint-Programmierung \|0 (DE-588)4567206-4 \|D s
689	0		\|5 DE-604
700	1		\|a Schulte, Christian \|d 1967- \|e Sonstige \|0 (DE-588)1064908977 \|4 oth
711	2		\|a CP \|n 19 \|d 2013 \|c Uppsala \|j Sonstige \|0 (DE-588)1041310226 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-364-24062-7-0
830		0	\|a Lecture notes in computer science \|v 8124 \|w (DE-604)BV000000607 \|9 8124
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4396954&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=026229507&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026229507

Datensatz im Suchindex

_version_	1820875472565698560
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED TALKS OPTIMIZATION FOR POLICY MAKING: THE CORNERSTONE FOR AN INTEGRATED APPROACH 1 MICHELA MILANO ANSWER SET PROGRAMMING: BOOLEAN CONSTRAINT SOLVING FOR KNOWLEDGE REPRESENTATION AND REASONING 3 TORSTEN SCHAUB THOSE WHO CANNOT REMEMBER THE PAST ARE CONDEMNED TO REPEAT IT 5 PETER J. STUCKEY INVITED PUBLIC LECTURE DECIDE DIFFERENT! 7 PASCAL VAN HENTENRYCK INVITED SYSTEM PRESENTATION THE OBJECTIVE-CP OPTIMIZATION SYSTEM 8 PASCAL VAN HENTENRYCK AND LAURENT MICHEL BEST TECHNICAL TRACK PAPER PARALLEL DISCREPANCY-BASED SEARCH 30 THIERRY MOISAN, JONATHAN GAUDREAULT, AND CLAUDE-GUY QUIMPER BEST APPLICATION TRACK PAPER BIN PACKING WITH LINEAR USAGE COSTS - AN APPLICATION TO ENERGY MANAGEMENT IN DATA CENTRES 47 HADRIEN CAMBAZARD, DEEPAK MEHTA, BARRY 0'SULLIVAN, AND HELMUT SIMONIS BEST STUDENT PAPER FILTERING ATMOSTNVALUE WITH DIFFERENCE CONSTRAINTS: APPLICATION TO THE SHIFT MINIMISATION PERSONNEL TASK SCHEDULING PROBLEM 63 JEAN-GUILLAUME FAGES AND TANGUY LAPEGUE HTTP://D-NB.INFO/1037896599 IMAGE 2 XIV TABLE OF CONTENTS TECHNICAL TRACK PAPERS A PARAMETRIC APPROACH FOR SMALLER AND BETTER ENCODINGS OF CARDINALITY CONSTRAINTS 80 IGNASI ABIO, B,OBERT NIEUWENHUIS, ALBERT OLIVERAS, AND ENRIC RODRIGUEZ-CARBONELL TO ENCODE OR TO PROPAGATE? THE BEST CHOICE FOR EACH CONSTRAINT IN SAT 97 IGNASI ABIO. ROBERT NIEUWENHUIS. ALBERT OLIVERAS, ENRIC RODRIGUEZ-CARBONELL, AND PETER J. STUEKEY AUTOMATED SYMMETRY BREAKING AND MODEL SELECTION IN C O N J U R E 107 OZGUR AKGUN, ALAN M. FRISCH, IAN P. GENT, BILAL SYED HUSSAIN, CHRISTOPHER JEFFERSON, LARS KOTTHOFF, IAN MIGUEL, AND PETER NIGHTINGALE IMPROVING WPM2 FOR (WEIGHTED) PARTIAL MAXSAT 117 CARLOS ANSOTEGUI, MARIA LUISA BONET, JOEL GABAS, AND JORDI LEVY MINSAT VERSUS MAXSAT FOR OPTIMIZATION PROBLEMS 133 JOSEP ARGELICH, CHU-MIN LI, FELIP MANYA, AND ZHU ZHU ADAPTIVE PARAMETERIZED CONSISTENCY 143 AMINE BALAFREJ, CHRISTIAN BESSIERE, REMI COLETTA, AND EL HOUSSINE BOUYAKHF GLOBAL INVERSE CONSISTENCY FOR INTERACTIVE CONSTRAINT SATISFACTION 159 CHRISTIAN BESSIERE, HELENE FARGIER, AND CHRISTOPHE LEEOUTRE COUNTING SPANNING TREES TO GUIDE SEARCH IN CONSTRAINED SPANNING TREE PROBLEMS 175 SIMON BROCKBANK, GILLES PESANT, AND LOUIS-MARTIN ROUSSEAU ON THE REDUCTION OF THE CSP DICHOTOMY CONJECTURE TO DIGRAPHS 184 JAKUB BULIN, DEJAN DELIC, MARCEL JACKSON, AND TODD NIVEN A SCALABLE APPROXIMATE MODEL COUNTER 200 SUPRATIK CHAKRABORTY, KULDEEP S. MEEL, AND MOSHE Y. VARDI DOMINANCE DRIVEN SEARCH 217 GEOFFREY CHU AND PETER J. STUEKEY TRACTABLE COMBINATIONS OF GLOBAL CONSTRAINTS 230 DAVID A. COHEN, PETER G. JEAVONS, EVGENIJ THORSTENSEN, AND STANISLAV ZIVNY POSTPONING OPTIMIZATION TO SPEED UP MAXSAT SOLVING 247 JESSICA DAVIES AND FAHIEM BACCHUS IMAGE 3 TABLE OF CONTENTS XV DEAD-END ELIMINATION FOR WEIGHTED CSP 263 SIMON DE GIVRY, STEVEN D. PRESTWICH, AND BARRY O'SULLIVAN SOLVING WEIGHTED CSPS BY SUCCESSIVE RELAXATIONS 273 ERIN DELISLE AND FAHIEM BACCHUS CONSTRAINT-BASED PROGRAM REASONING WITH HEAPS AND SEPARATION 282 GREGORY J. DUCK, JOXAN JAFFAR, AND NICOLAS C.H. KOH MODEL COMBINATORS FOR HYBRID OPTIMIZATION 299 DANIEL FONTAINE, LAURENT MICHEL, AND PASCAL VAN HENTENRYCK MODELLING DESTRUCTIVE ASSIGNMENTS 315 KATHRYN FRANCIS, JORGE NAVAS, AND PETER J. STUCKEY AN IMPROVED SEARCH ALGORITHM FOR MIN-PERTURBATION 331 ALEX FUKUNAGA EXPLAINING PROPAGATORS FOR EDGE-VALUED DECISION DIAGRAMS 340 GRAEME GAUGE, PETER J. STUCKEY, AND PASCAL VAN HENTENRYCK A SIMPLE AND EFFECTIVE DECOMPOSITION FOR THE MULTIDIMENSIONAL BINPACKING CONSTRAINT 356 STEFANO GUALANDI AND MICHELE LOMBARDI MAINTAINING SOFT ARC CONSISTENCIES IN BNB-ADOPT 4 " DURING SEARCH. 365 PATRICIA GUTIERREZ, JIMMY H.M. LEE, KA MAN LEI, TERRENCE W.K. MAK, AND PEDRO MESEGUER SOLVING STRING CONSTRAINTS: THE CASE FOR CONSTRAINT PROGRAMMING 381 JUN HE, PIERRE FLENER, JUSTIN PEARSON, AND WEI MING ZHANG BLOWING HOLES IN VARIOUS ASPECTS OF COMPUTATIONAL PROBLEMS, WITH APPLICATIONS TO CONSTRAINT SATISFACTION 398 PETER JONSSON, VICTOR LAGERKVIST, AND GUSTAV NORDH SOLVING QBF WITH FREE VARIABLES 415 WILLIAM KLIEBER, MIKOLAS JANOTA, JOAO MARQUES-SILVA, AND EDMUND CLARKE GLOBALIZING CONSTRAINT MODELS 432 KEVIN LEO, CHRISTOPHER MEARS, GUIDO TACK, AND MARIA GARCIA DE LA BANDA A NEW PROPAGATOR FOR TWO-LAYER NEURAL NETWORKS IN EMPIRICAL MODEL LEARNING 448 MICHELE LOMBARDI AND STEFANO GUALANDI BANDIT-BASED SEARCH FOR CONSTRAINT PROGRAMMING 464 MANUEL LOTH, MICHELE SEBAG, YOUSSEF HAMADI, AND MARC SCHOENAUER IMAGE 4 XVI TABLE OF CONTENTS FOCUSED RANDOM WALK WITH CONFIGURATION CHECKING AND BREAK MINIMUM FOR SATISFIABILITY 481 CHUAN LUO, SHAOWEI CAI, WEI WU, AND KAILE SU MULTI-OBJECTIVE CONSTRAINT OPTIMIZATION WITH TRADEOFFS 497 RADU MARINESCU, ABDUL RAZAK, AND NIC WILSON MULTIDIMENSIONAL BIN PACKING REVISITED 513 MICHAEL D. MOFFITT A PARAMETRIC PROPAGATOR FOR DISCRETELY CONVEX PAIRS OF S U M CONSTRAINTS 529 JEAN-NOEL MONETTE, NICOLAS BELDICEANU, PIERRE FLENER, AND JUSTIN PEARSON BREAKING SYMMETRY WITH DIFFERENT ORDERINGS 545 NINA NARODYTSKA AND TOBY WALSH TIME-TABLE EXTENDED-EDGE-FINDING FOR THE CUMULATIVE CONSTRAINT 562 PIERRE OUELLET AND CLAUDE-GUY QUIMPER REVISITING THE CARDINALITY REASONING FOR BINPACKING CONSTRAINT 578 FRANGOIS PELSSER, PIERRE SCHAUS, AND JEAN-CHARLES REGIN VALUE INTERCHANGEABILITY IN SCENARIO GENERATION 587 STEVEN D. PRESTWICH, MARCO LAUMANNS, AND BAN KAWAS EMBARRASSINGLY PARALLEL SEARCH 596 JEAN-CHARLES REGIN, MOHAMED REZGUI, AND ARNAUD MALAPERT MULTI-OBJECTIVE LARGE NEIGHBORHOOD SEARCH 611 PIERRE SCHAUS AND RENAUD HARTERT SCHEDULING OPTIONAL TASKS WITH EXPLANATION 628 ANDREAS SCHUTT, THIBAUT FEYDY, AND PETER J. STUCKEY RESIDENTIAL DEMAND RESPONSE UNDER UNCERTAINTY 645 PAUL SCOTT, SYLVIE THIEBAUX, MENKES VAN DEN BRIEL, AND PASCAL VAN HENTENRYCK LIFTING STRUCTURAL TRACTABILITY TO CSP WITH GLOBAL CONSTRAINTS 661 EVGENIJ THORSTENSEN EMPIRICAL STUDY OF THE BEHAVIOR OF CONFLICT ANALYSIS IN CDCL SOLVERS 678 DJAMAL HABET AND DONIA TOUMI PRIMAL AND DUAL ENCODING FROM APPLICATIONS INTO QUANTIFIED BOOLEAN FORMULAS 694 ALLEN VAN GELDER IMAGE 5 TABLE OF CONTENTS XVII ASYNCHRONOUS FORWARD BOUNDING REVISITED 708 MOHAMED WAHBI, REDOUANE EZZAHIR, AND CHRISTIAN BESSIERE OPTIMIZING STR ALGORITHMS WITH TUPLE COMPRESSION 724 WEI XIA AND B,OLAND H. C. YAP APPLICATION TRACK PAPERS DESCRIBING AND GENERATING SOLUTIONS FOR THE EDF UNIT COMMITMENT PROBLEM WITH THE MODELSEEKER 733 NICOLAS BELDICEANU, GEORGIANA IFRIM, ARNAUD LENOIR, AND HELMUT SIMONIS SOLVING THE AGRICULTURAL LAND ALLOCATION PROBLEM BY CONSTRAINT-BASED LOCAL SEARCH 749 QUOC TRUNG BUI, QUANG DUNG PHAM, AND YVES DEVILLE CONSTRAINT-BASED APPROACHES FOR BALANCING BIKE SHARING SYSTEMS 758 LUCA DI GASPERO, ANDREA RENDL, AND TOMMASO URLI CONSTRAINT BASED COMPUTATION OF PERIODIC ORBITS OF CHAOTIC DYNAMICAL SYSTEMS 774 ALEXANDRE GOLDSZTEJN, LAURENT GRANVILLIERS, AND CHRISTOPHE JERMANN LASER CUTTING PATH PLANNING USING CP 790 MIKAEL Z. LAGERKVIST, MARTIN NORDKVIST, AND MAGNUS RATTFELDT ATOM MAPPING WITH CONSTRAINT PROGRAMMING 805 MARTIN MANN, FERAS NAHAR, HEINZ EKKER, ROLF BACKOFEN, PETER F. STADLER, AND CHRISTOPH FLAMM BEYOND FEASIBILITY: CP USAGE IN CONSTRAINED-RANDOM FUNCTIONAL HARDWARE VERIFICATION 823 REUVEN NAVEH AND AMIT METODI STOCHASTIC LOCAL SEARCH BASED CHANNEL ASSIGNMENT IN WIRELESS MESH NETWORKS 832 M.A. HAKIM NEWTON, DUE NGHIA PHAM, WEE LUM TAN, MARIUS PORTMANN, AND ABDUL SATTAR AUTOMATIC GENERATION AND DELIVERY OF MULTIPLE-CHOICE MATH QUIZZES 848 ANA PAULA TOMAS AND JOSE PAULO LEAL IMAGE 6 XVIII TABLE OF CONTENTS CONSTRAINED WINE BLENDING 864 PHILIPPE VISMARA, REMI COLETTA, AND GILLES TROMBETTONI THE BERTH ALLOCATION AND QUAY CRANE ASSIGNMENT PROBLEM USING A CP APPROACH 880 STEPHANE ZAM,PELLI, YANNIS VERGADOS, ROWAN VAN SCHAEREN, WOUT DULLAERT, AND BIRGER RAA AUTHOR INDEX 897
any_adam_object	1
author_GND	(DE-588)1064908977
building	Verbundindex
bvnumber	BV041255553
classification_rvk	SS 4800
classification_tum	DAT 706f
ctrlnum	(OCoLC)862983548 (DE-599)DNB1037896599
dewey-full	005.116
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.116
dewey-search	005.116
dewey-sort	15.116
dewey-tens	000 - Computer science, information, general works
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 a2200000 cb4500</leader><controlfield tag="001">BV041255553</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151015</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130904s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13N33</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1037896599</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642406262</subfield><subfield code="c">Pb. : ca. EUR 101.65 (DE)</subfield><subfield code="9">3-642-40626-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642406263</subfield><subfield code="c">Pb. : ca. EUR 101.65 (DE)</subfield><subfield code="9">978-3-642-40626-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)862983548</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1037896599</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.116</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles and practice of constraint programming</subfield><subfield code="b">19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings</subfield><subfield code="c">Christian Schulte (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 898 S.</subfield><subfield code="b">Ill., 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">8124</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">2013</subfield><subfield code="z">Uppsala</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">Schulte, Christian</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1064908977</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CP</subfield><subfield code="n">19</subfield><subfield code="d">2013</subfield><subfield code="c">Uppsala</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041310226</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-364-24062-7-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8124</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">8124</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4396954&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=026229507&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-026229507</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Uppsala gnd-content
genre_facet	Konferenzschrift 2013 Uppsala
id	DE-604.BV041255553
illustrated	Illustrated
indexdate	2025-01-10T15:16:10Z
institution	BVB
institution_GND	(DE-588)1041310226
isbn	3642406262 9783642406263
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026229507
oclc_num	862983548
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XVIII, 898 S. Ill., graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings Christian Schulte (ed.) Berlin [u.a.] Springer 2013 XVIII, 898 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 8124 Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Uppsala gnd-content Constraint-Programmierung (DE-588)4567206-4 s DE-604 Schulte, Christian 1967- Sonstige (DE-588)1064908977 oth CP 19 2013 Uppsala Sonstige (DE-588)1041310226 oth Erscheint auch als Online-Ausgabe 978-364-24062-7-0 Lecture notes in computer science 8124 (DE-604)BV000000607 8124 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4396954&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026229507&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; 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 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings
title_auth	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings
title_exact_search	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings
title_full	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings Christian Schulte (ed.)
title_fullStr	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings Christian Schulte (ed.)
title_full_unstemmed	Principles and practice of constraint programming 19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings Christian Schulte (ed.)
title_short	Principles and practice of constraint programming
title_sort	principles and practice of constraint programming 19th international conference cp 2013 uppsala sweden september 16 20 2013 proceedings
title_sub	19th international conference, CP 2013, Uppsala, Sweden, September 16 - 20, 2013 ; proceedings
topic	Constraint-Programmierung (DE-588)4567206-4 gnd
topic_facet	Constraint-Programmierung Konferenzschrift 2013 Uppsala
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4396954&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026229507&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT schultechristian principlesandpracticeofconstraintprogramming19thinternationalconferencecp2013uppsalaswedenseptember16202013proceedings AT cpuppsala principlesandpracticeofconstraintprogramming19thinternationalconferencecp2013uppsalaswedenseptember16202013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge