Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cp/cp2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/cp/AnbulaganB08,
author = {Anbulagan and
Adi Botea},
editor = {Peter J. Stuckey},
title = {Crossword Puzzles as a Constraint Problem},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {550--554},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_40},
doi = {10.1007/978-3-540-85958-1\_40},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AnbulaganB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBFM08,
author = {Carlos Ans{\'{o}}tegui and
Ram{\'{o}}n B{\'{e}}jar and
C{\`{e}}sar Fern{\'{a}}ndez and
Carles Mateu},
editor = {Peter J. Stuckey},
title = {From High Girth Graphs to Hard Instances},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {298--312},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_20},
doi = {10.1007/978-3-540-85958-1\_20},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBFM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AnsoteguiBFM08a,
author = {Carlos Ans{\'{o}}tegui and
Ram{\'{o}}n B{\'{e}}jar and
C{\`{e}}sar Fern{\'{a}}ndez and
Carles Mateu},
editor = {Peter J. Stuckey},
title = {Edge Matching Puzzles as Hard {SAT/CSP} Benchmarks},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {560--565},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_42},
doi = {10.1007/978-3-540-85958-1\_42},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/AnsoteguiBFM08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ArayaNT08,
author = {Ignacio Araya and
Bertrand Neveu and
Gilles Trombettoni},
editor = {Peter J. Stuckey},
title = {Exploiting Common Subexpressions in Numerical CSPs},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {342--357},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_23},
doi = {10.1007/978-3-540-85958-1\_23},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ArayaNT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AudemardS08,
author = {Gilles Audemard and
Laurent Simon},
editor = {Peter J. Stuckey},
title = {Experimenting with Small Changes in Conflict-Driven Clause Learning
Algorithms},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {630--634},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_55},
doi = {10.1007/978-3-540-85958-1\_55},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/AudemardS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BenedettiLV08,
author = {Marco Benedetti and
Arnaud Lallouet and
J{\'{e}}r{\'{e}}mie Vautard},
editor = {Peter J. Stuckey},
title = {Quantified Constraint Optimization},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {463--477},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_31},
doi = {10.1007/978-3-540-85958-1\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BenedettiLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeniniLMR08,
author = {Luca Benini and
Michele Lombardi and
Michela Milano and
Martino Ruggiero},
editor = {Peter J. Stuckey},
title = {A Constraint Programming Approach for Allocation and Scheduling on
the {CELL} Broadband Engine},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {21--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_2},
doi = {10.1007/978-3-540-85958-1\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BeniniLMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BoughaciBD08,
author = {Dalila Boughaci and
Belaid Benhamou and
Habiba Drias},
editor = {Peter J. Stuckey},
title = {Stochastic Local Search for the Optimal Winner Determination Problem
in Combinatorial Auctions},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {593--597},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_48},
doi = {10.1007/978-3-540-85958-1\_48},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BoughaciBD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BritoM08,
author = {Ismel Brito and
Pedro Meseguer},
editor = {Peter J. Stuckey},
title = {Connecting {ABT} with Arc Consistency},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {387--401},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_26},
doi = {10.1007/978-3-540-85958-1\_26},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BritoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CambazardO08,
author = {Hadrien Cambazard and
Barry O'Sullivan},
editor = {Peter J. Stuckey},
title = {Reformulating Positive Table Constraints Using Functional Dependencies},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {418--432},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_28},
doi = {10.1007/978-3-540-85958-1\_28},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/CambazardO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CarlssonBM08,
author = {Mats Carlsson and
Nicolas Beldiceanu and
Julien Martin},
editor = {Peter J. Stuckey},
title = {A Geometric Constraint over k-Dimensional Objects and Shapes Subject
to Business Rules},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {220--234},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_15},
doi = {10.1007/978-3-540-85958-1\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CarlssonBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChengY08,
author = {Kenil C. K. Cheng and
Roland H. C. Yap},
editor = {Peter J. Stuckey},
title = {Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {509--523},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_34},
doi = {10.1007/978-3-540-85958-1\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChengY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChengY08a,
author = {Kenil C. K. Cheng and
Roland H. C. Yap},
editor = {Peter J. Stuckey},
title = {Search Space Reduction for Constraint Optimization Problems},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {635--639},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_56},
doi = {10.1007/978-3-540-85958-1\_56},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChengY08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CollavizzaRH08,
author = {H{\'{e}}l{\`{e}}ne Collavizza and
Michel Rueher and
Pascal Van Hentenryck},
editor = {Peter J. Stuckey},
title = {{CPBPV:} {A} Constraint-Programming Framework for Bounded Program
Verification},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {327--341},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_22},
doi = {10.1007/978-3-540-85958-1\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CollavizzaRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Colmerauer08,
author = {Alain Colmerauer},
editor = {Peter J. Stuckey},
title = {Back to the Complexity of Universal Programs},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_1},
doi = {10.1007/978-3-540-85958-1\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Colmerauer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CorreiaB08,
author = {Marco Correia and
Pedro Barahona},
editor = {Peter J. Stuckey},
title = {On the Efficiency of Impact Based Heuristics},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {608--612},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_51},
doi = {10.1007/978-3-540-85958-1\_51},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/CorreiaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DotuCHC08,
author = {Iv{\'{a}}n Dot{\'{u}} and
Manuel Cebri{\'{a}}n and
Pascal Van Hentenryck and
Peter Clote},
editor = {Peter J. Stuckey},
title = {Protein Structure Prediction with Large Neighborhood Constraint Programming
Search},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {82--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_6},
doi = {10.1007/978-3-540-85958-1\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DotuCHC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GelainPRVW08,
author = {Mirco Gelain and
Maria Silvia Pini and
Francesca Rossi and
Kristen Brent Venable and
Toby Walsh},
editor = {Peter J. Stuckey},
title = {Elicitation Strategies for Fuzzy Constraint Problems with Missing
Preferences: Algorithms and Experimental Studies},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {402--417},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_27},
doi = {10.1007/978-3-540-85958-1\_27},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/GelainPRVW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GogateD08,
author = {Vibhav Gogate and
Rina Dechter},
editor = {Peter J. Stuckey},
title = {Approximate Solution Sampling (and Counting) on {AND/OR} Spaces},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {534--538},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_37},
doi = {10.1007/978-3-540-85958-1\_37},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GogateD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldsztejnG08,
author = {Alexandre Goldsztejn and
Laurent Granvilliers},
editor = {Peter J. Stuckey},
title = {A New Framework for Sharp and Efficient Resolution of {NCSP} with
Manifolds of Solutions},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {190--204},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_13},
doi = {10.1007/978-3-540-85958-1\_13},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GoldsztejnG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldsztejnLMR08,
author = {Alexandre Goldsztejn and
Yahia Lebbah and
Claude Michel and
Michel Rueher},
editor = {Peter J. Stuckey},
title = {Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {598--602},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_49},
doi = {10.1007/978-3-540-85958-1\_49},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GoldsztejnLMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GreenJ08,
author = {Martin James Green and
Christopher Jefferson},
editor = {Peter J. Stuckey},
title = {Structural Tractability of Propagated Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {372--386},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_25},
doi = {10.1007/978-3-540-85958-1\_25},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GreenJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GregoryFL08,
author = {Peter Gregory and
Maria Fox and
Derek Long},
editor = {Peter J. Stuckey},
title = {A New Empirical Study of Weak Backdoors},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {618--623},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_53},
doi = {10.1007/978-3-540-85958-1\_53},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/GregoryFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HadzicHOT08,
author = {Tarik Hadzic and
John N. Hooker and
Barry O'Sullivan and
Peter Tiedemann},
editor = {Peter J. Stuckey},
title = {Approximate Compilation of Constraints into Multivalued Decision Diagrams},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {448--462},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_30},
doi = {10.1007/978-3-540-85958-1\_30},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/HadzicHOT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HalimYH08,
author = {Steven Halim and
Roland H. C. Yap and
Felix Halim},
editor = {Peter J. Stuckey},
title = {Engineering Stochastic Local Search for the Low Autocorrelation Binary
Sequence Problem},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {640--645},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_57},
doi = {10.1007/978-3-540-85958-1\_57},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HalimYH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HebrardOR08,
author = {Emmanuel Hebrard and
Barry O'Sullivan and
Igor Razgon},
editor = {Peter J. Stuckey},
title = {A Soft Constraint of Equality: Complexity and Approximability},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {358--371},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_24},
doi = {10.1007/978-3-540-85958-1\_24},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/HebrardOR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HellerPSY08,
author = {Daniel S. Heller and
Aurojit Panda and
Meinolf Sellmann and
Justin Yip},
editor = {Peter J. Stuckey},
title = {Model Restarts for Structural Symmetry Breaking},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {539--544},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_38},
doi = {10.1007/978-3-540-85958-1\_38},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HellerPSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HsuMBM08,
author = {Eric I. Hsu and
Christian J. Muise and
J. Christopher Beck and
Sheila A. McIlraith},
editor = {Peter J. Stuckey},
title = {Probabilistically Estimating Backbones and Variable Bias: Experimental
Overview},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {613--617},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_52},
doi = {10.1007/978-3-540-85958-1\_52},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HsuMBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Huang08,
author = {Jinbo Huang},
editor = {Peter J. Stuckey},
title = {Universal Booleanization of Constraint Models},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {144--158},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_10},
doi = {10.1007/978-3-540-85958-1\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Huang08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JaffarSV08,
author = {Joxan Jaffar and
Andrew E. Santosa and
Razvan Voicu},
editor = {Peter J. Stuckey},
title = {A Coinduction Rule for Entailment of Recursively Defined Properties},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {493--508},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_33},
doi = {10.1007/978-3-540-85958-1\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JaffarSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KitchingB08,
author = {Matthew Kitching and
Fahiem Bacchus},
editor = {Peter J. Stuckey},
title = {Exploiting Decomposition in Constraint Optimization Problems},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {478--492},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_32},
doi = {10.1007/978-3-540-85958-1\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KitchingB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Kumar08,
author = {T. K. Satish Kumar},
editor = {Peter J. Stuckey},
title = {A Framework for Hybrid Tractability Results in Boolean Weighted Constraint
Satisfaction Problems},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {282--297},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_19},
doi = {10.1007/978-3-540-85958-1\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Kumar08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Lecoutre08,
author = {Christophe Lecoutre},
editor = {Peter J. Stuckey},
title = {Optimization of Simple Tabular Reduction for Table Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {128--143},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_9},
doi = {10.1007/978-3-540-85958-1\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Lecoutre08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LesaintMOQW08,
author = {David Lesaint and
Deepak Mehta and
Barry O'Sullivan and
Luis Quesada and
Nic Wilson},
editor = {Peter J. Stuckey},
title = {Solving a Telecommunications Feature Subscription Configuration Problem},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {67--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_5},
doi = {10.1007/978-3-540-85958-1\_5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LesaintMOQW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LiMMP08,
author = {Chu Min Li and
Felip Many{\`{a}} and
Nouredine Ould Mohamedou and
Jordi Planes},
editor = {Peter J. Stuckey},
title = {Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {582--587},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_46},
doi = {10.1007/978-3-540-85958-1\_46},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LiMMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MaherNQW08,
author = {Michael J. Maher and
Nina Narodytska and
Claude{-}Guy Quimper and
Toby Walsh},
editor = {Peter J. Stuckey},
title = {Flow-Based Propagators for the {SEQUENCE} and Related Global Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {159--174},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_11},
doi = {10.1007/978-3-540-85958-1\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MaherNQW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MalikCRB08,
author = {Abid M. Malik and
Michael Chase and
Tyrel Russell and
Peter van Beek},
editor = {Peter J. Stuckey},
title = {An Application of Constraint Programming to Superblock Instruction
Scheduling},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {97--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_7},
doi = {10.1007/978-3-540-85958-1\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MalikCRB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MalitskySH08,
author = {Yuri Malitsky and
Meinolf Sellmann and
Willem Jan van Hoeve},
editor = {Peter J. Stuckey},
title = {Length-Lex Bounds Consistency for Knapsack Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {266--281},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_18},
doi = {10.1007/978-3-540-85958-1\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MalitskySH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MouraSCL08,
author = {Arnaldo Vieira Moura and
Cid C. de Souza and
Andr{\'{e}} A. Cir{\'{e}} and
Tony Minoru Tamura Lopes},
editor = {Peter J. Stuckey},
title = {Planning and Scheduling the Operation of a Very Large Oil Pipeline
Network},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {36--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_3},
doi = {10.1007/978-3-540-85958-1\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MouraSCL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NormandGCB08,
author = {Jean{-}Marie Normand and
Alexandre Goldsztejn and
Marc Christie and
Fr{\'{e}}d{\'{e}}ric Benhamou},
editor = {Peter J. Stuckey},
title = {A Branch and Bound Algorithm for Numerical {MAX-CSP}},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {205--219},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_14},
doi = {10.1007/978-3-540-85958-1\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/NormandGCB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OttenD08,
author = {Lars Otten and
Rina Dechter},
editor = {Peter J. Stuckey},
title = {Refined Bounds for Instance-Based Search Complexity of Counting and
Other {\#}P Problems},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {576--581},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_45},
doi = {10.1007/978-3-540-85958-1\_45},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/OttenD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PapadopoulosO08,
author = {Alexandre Papadopoulos and
Barry O'Sullivan},
editor = {Peter J. Stuckey},
title = {Relaxations for Compiled Over-Constrained Problems},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {433--447},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_29},
doi = {10.1007/978-3-540-85958-1\_29},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/PapadopoulosO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PetrieJ08,
author = {Karen E. Petrie and
Christopher Jefferson},
editor = {Peter J. Stuckey},
title = {Efficiently Solving Problems Where the Solutions Form a Group},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {529--533},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_36},
doi = {10.1007/978-3-540-85958-1\_36},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PetrieJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RafehMBNW08,
author = {Reza Rafeh and
Kim Marriott and
Maria Garcia de la Banda and
Nicholas Nethercote and
Mark Wallace},
editor = {Peter J. Stuckey},
title = {Adding Search to Zinc},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {624--629},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_54},
doi = {10.1007/978-3-540-85958-1\_54},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/RafehMBNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Raiser08,
author = {Frank Raiser},
editor = {Peter J. Stuckey},
title = {Semi-automatic Generation of {CHR} Solvers for Global Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {588--592},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_47},
doi = {10.1007/978-3-540-85958-1\_47},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Raiser08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RodriguesMC08,
author = {Carlos Diego Rodrigues and
Philippe Michelon and
Manoel B. Camp{\^{e}}lo},
editor = {Peter J. Stuckey},
title = {Recent Hybrid Techniques for the Multi-Knapsack Problem},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {555--559},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_41},
doi = {10.1007/978-3-540-85958-1\_41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/RodriguesMC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RosaGM08,
author = {Emanuele Di Rosa and
Enrico Giunchiglia and
Marco Maratea},
editor = {Peter J. Stuckey},
title = {Computing All Optimal Solutions in Satisfiability Problems with Preferences},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {603--607},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_50},
doi = {10.1007/978-3-540-85958-1\_50},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/RosaGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/RossiTHP08,
author = {Roberto Rossi and
Armagan Tarim and
Brahim Hnich and
Steven D. Prestwich},
editor = {Peter J. Stuckey},
title = {Cost-Based Domain Filtering for Stochastic Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {235--250},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_16},
doi = {10.1007/978-3-540-85958-1\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/RossiTHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SachenbacherM08,
author = {Martin Sachenbacher and
Paul Maier},
editor = {Peter J. Stuckey},
title = {Test Strategy Generation Using Quantified CSPs},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {566--570},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_43},
doi = {10.1007/978-3-540-85958-1\_43},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SachenbacherM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SalamonJ08,
author = {Andr{\'{a}}s Z. Salamon and
Peter G. Jeavons},
editor = {Peter J. Stuckey},
title = {Perfect Constraints Are Tractable},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {524--528},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_35},
doi = {10.1007/978-3-540-85958-1\_35},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SalamonJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchulteT08,
author = {Christian Schulte and
Guido Tack},
editor = {Peter J. Stuckey},
title = {Perfect Derived Propagators},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {571--575},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_44},
doi = {10.1007/978-3-540-85958-1\_44},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SchulteT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SellmannK08,
author = {Meinolf Sellmann and
Serdar Kadioglu},
editor = {Peter J. Stuckey},
title = {Dichotomic Search Protocols for Constrained Optimization},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {251--265},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_17},
doi = {10.1007/978-3-540-85958-1\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SellmannK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SimonisO08,
author = {Helmut Simonis and
Barry O'Sullivan},
editor = {Peter J. Stuckey},
title = {Search Strategies for Rectangle Packing},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {52--66},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_4},
doi = {10.1007/978-3-540-85958-1\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SimonisO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/VergerB08,
author = {Guillaume Verger and
Christian Bessiere},
editor = {Peter J. Stuckey},
title = {Guiding Search in QCSP\({}^{\mbox{+}}\) with Back-Propagation},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {175--189},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_12},
doi = {10.1007/978-3-540-85958-1\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/VergerB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/WeiLZ08,
author = {Wanxia Wei and
Chu Min Li and
Harry Zhang},
editor = {Peter J. Stuckey},
title = {Switching among Non-Weighting, Clause Weighting, and Variable Weighting
in Local Search for {SAT}},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {313--326},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_21},
doi = {10.1007/978-3-540-85958-1\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/WeiLZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZhangYLM08,
author = {Yuanlin Zhang and
Roland H. C. Yap and
Chendong Li and
Satyanarayana Marisetti},
editor = {Peter J. Stuckey},
title = {An Elimination Algorithm for Functional Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {545--549},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_39},
doi = {10.1007/978-3-540-85958-1\_39},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZhangYLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZivnyJ08,
author = {Stanislav Zivn{\'{y}} and
Peter Jeavons},
editor = {Peter J. Stuckey},
title = {Classes of Submodular Constraints Expressible by Graph Cuts},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {112--127},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_8},
doi = {10.1007/978-3-540-85958-1\_8},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ZivnyJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2008,
editor = {Peter J. Stuckey},
title = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1},
doi = {10.1007/978-3-540-85958-1},
isbn = {978-3-540-85957-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 11:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
