Search dblp for Publications

export results for "toc:db/conf/cp/cp97.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cp/Abdennadher97,
  author       = {Slim Abdennadher},
  editor       = {Gert Smolka},
  title        = {Operational Semantics and Confluence of Constraint Propagation Rules},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017444},
  doi          = {10.1007/BFB0017444},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Abdennadher97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/AchlioptasKKKMS97,
  author       = {Dimitris Achlioptas and
                  Lefteris M. Kirousis and
                  Evangelos Kranakis and
                  Danny Krizanc and
                  Michael S. O. Molloy and
                  Yannis C. Stamatiou},
  editor       = {Gert Smolka},
  title        = {Random Constraint Satisfaction: {A} More Accurate Picture},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {107--120},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017433},
  doi          = {10.1007/BFB0017433},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AchlioptasKKKMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BaptisteP97,
  author       = {Philippe Baptiste and
                  Claude Le Pape},
  editor       = {Gert Smolka},
  title        = {Constraint Propagation and Decomposition Techniques for Highly Disjunctive
                  and Highly Cumulative Project Scheduling Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {375--389},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017454},
  doi          = {10.1007/BFB0017454},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BaptisteP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BeckDF97,
  author       = {J. Christopher Beck and
                  Andrew J. Davenport and
                  Mark S. Fox},
  editor       = {Gert Smolka},
  title        = {Five Pitfalls of Empirical Scheduling Research},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {390--404},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017455},
  doi          = {10.1007/BFB0017455},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BeckDF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BettiniWJ97,
  author       = {Claudio Bettini and
                  Xiaoyang Sean Wang and
                  Sushil Jajodia},
  editor       = {Gert Smolka},
  title        = {Satisfiability of Quantitative Temporal Constraints with Multiple
                  Granularities},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {435--449},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017458},
  doi          = {10.1007/BFB0017458},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BettiniWJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Bleuzen-GuernalecC97,
  author       = {No{\"{e}}lle Bleuzen{-}Guernalec and
                  Alain Colmerauer},
  editor       = {Gert Smolka},
  title        = {Narrowing a Block of Sortings in Quadratic Time},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {2--16},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017426},
  doi          = {10.1007/BFB0017426},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Bleuzen-GuernalecC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BoerGM97,
  author       = {Frank S. de Boer and
                  Maurizio Gabbrielli and
                  Maria Chiara Meo},
  editor       = {Gert Smolka},
  title        = {Semantics and Expressive Power of a Timed Concurrent Constraint Language},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017429},
  doi          = {10.1007/BFB0017429},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BoerGM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BoudetC97,
  author       = {Alexandre Boudet and
                  Evelyne Contejean},
  editor       = {Gert Smolka},
  title        = {AC-Unification of Higher-Order Patterns},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {267--281},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017445},
  doi          = {10.1007/BFB0017445},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BoudetC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Caseau97,
  author       = {Yves Caseau},
  editor       = {Gert Smolka},
  title        = {Using Constraint Propagation for Complex Scheduling Problems: Managing
                  Size, Complex Resources and Travel},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {163--166},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017437},
  doi          = {10.1007/BFB0017437},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Caseau97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CaseauL97,
  author       = {Yves Caseau and
                  Fran{\c{c}}ois Laburthe},
  editor       = {Gert Smolka},
  title        = {Solving Various Weighted Matching Problems with Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017427},
  doi          = {10.1007/BFB0017427},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CaseauL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CohenJK97,
  author       = {David A. Cohen and
                  Peter Jeavons and
                  Manolis Koubarakis},
  editor       = {Gert Smolka},
  title        = {Tractable Disjunctive Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {478--490},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017461},
  doi          = {10.1007/BFB0017461},
  timestamp    = {Mon, 17 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CohenJK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/DebruyneB97,
  author       = {Romuald Debruyne and
                  Christian Bessi{\`{e}}re},
  editor       = {Gert Smolka},
  title        = {From Restricted Path Consistency to Max-Restricted Path Consistency},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {312--326},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017448},
  doi          = {10.1007/BFB0017448},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DebruyneB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/DevienneTT97,
  author       = {Philippe Devienne and
                  Jean{-}Marc Talbot and
                  Sophie Tison},
  editor       = {Gert Smolka},
  title        = {Solving Classes of Set Constraints with Tree Automata},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017430},
  doi          = {10.1007/BFB0017430},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DevienneTT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GalinierH97,
  author       = {Philippe Galinier and
                  Jin{-}Kao Hao},
  editor       = {Gert Smolka},
  title        = {Tabu Search for Maximal Constraint Satisfaction Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {196--208},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017440},
  doi          = {10.1007/BFB0017440},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GalinierH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GentMPW97,
  author       = {Ian P. Gent and
                  Ewan MacIntyre and
                  Patrick Prosser and
                  Toby Walsh},
  editor       = {Gert Smolka},
  title        = {The Constrainedness of Arc Consistency},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {327--340},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017449},
  doi          = {10.1007/BFB0017449},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentMPW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GentU97,
  author       = {Ian P. Gent and
                  Judith L. Underwood},
  editor       = {Gert Smolka},
  title        = {The Logic of Search Algorithms: Theory and Applications},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017431},
  doi          = {10.1007/BFB0017431},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GentU97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GivryVS97,
  author       = {Simon de Givry and
                  G{\'{e}}rard Verfaillie and
                  Thomas Schiex},
  editor       = {Gert Smolka},
  title        = {Bounding the Optimum of Constraint Optimization Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {405--419},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017456},
  doi          = {10.1007/BFB0017456},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GivryVS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GomesSC97,
  author       = {Carla P. Gomes and
                  Bart Selman and
                  Nuno Crato},
  editor       = {Gert Smolka},
  title        = {Heavy-Tailed Distributions in Combinatorial Search},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {121--135},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017434},
  doi          = {10.1007/BFB0017434},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GomesSC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GrumbachK97,
  author       = {St{\'{e}}phane Grumbach and
                  Gabriel M. Kuper},
  editor       = {Gert Smolka},
  title        = {Tractable Recursion over Geometric Data},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {450--462},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017459},
  doi          = {10.1007/BFB0017459},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GrumbachK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HamadiM97,
  author       = {Youssef Hamadi and
                  David Merceron},
  editor       = {Gert Smolka},
  title        = {Reconfigurable Architectures: {A} New Vision for Optimization Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {209--221},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017441},
  doi          = {10.1007/BFB0017441},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HamadiM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HarveySB97,
  author       = {Warwick Harvey and
                  Peter J. Stuckey and
                  Alan Borning},
  editor       = {Gert Smolka},
  title        = {Compiling Constraint Solving using Projection},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {491--505},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017462},
  doi          = {10.1007/BFB0017462},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HarveySB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Hentenryck97,
  author       = {Pascal Van Hentenryck},
  editor       = {Gert Smolka},
  title        = {A Modeling Language for Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {1},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017425},
  doi          = {10.1007/BFB0017425},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Hentenryck97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HermannK97,
  author       = {Miki Hermann and
                  Phokion G. Kolaitis},
  editor       = {Gert Smolka},
  title        = {On the Complexity of Unification and Disunification in Commutative
                  Idempotent Semigroups},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {282--296},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017446},
  doi          = {10.1007/BFB0017446},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HermannK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HirayamaY97,
  author       = {Katsutoshi Hirayama and
                  Makoto Yokoo},
  editor       = {Gert Smolka},
  title        = {Distributed Partial Constraint Satisfaction Problem},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {222--236},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017442},
  doi          = {10.1007/BFB0017442},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HirayamaY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/HoffmannLS97,
  author       = {Christoph M. Hoffmann and
                  Andrew Lomonosov and
                  Meera Sitharam},
  editor       = {Gert Smolka},
  title        = {Finding Solvable Subsets of Constraint Graphs},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {463--477},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017460},
  doi          = {10.1007/BFB0017460},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HoffmannLS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Istrate97,
  author       = {Gabriel Istrate},
  editor       = {Gert Smolka},
  title        = {Counting, Structure Identification and Maximum Consistency for Binary
                  Constraint Satisfaction Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {136--149},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017435},
  doi          = {10.1007/BFB0017435},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Istrate97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LabatM97,
  author       = {Jean{-}Marc Labat and
                  Laurent Mynard},
  editor       = {Gert Smolka},
  title        = {Oscillation, Heuristic Ordering and Pruning in Neighborhood Search},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {506--518},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017463},
  doi          = {10.1007/BFB0017463},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LabatM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LiA97,
  author       = {Chu Min Li and
                  Anbulagan},
  editor       = {Gert Smolka},
  title        = {Look-Ahead Versus Look-Back for Satisfiability Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {341--355},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017450},
  doi          = {10.1007/BFB0017450},
  timestamp    = {Mon, 21 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LiA97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Melzer97,
  author       = {Stephan Melzer},
  editor       = {Gert Smolka},
  title        = {Verification of Parallel Systems using Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017432},
  doi          = {10.1007/BFB0017432},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Melzer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MichelH97,
  author       = {Laurent Michel and
                  Pascal Van Hentenryck},
  editor       = {Gert Smolka},
  title        = {Localizer: {A} Modeling Language for Local Search},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {237--251},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017443},
  doi          = {10.1007/BFB0017443},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MichelH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MichelP97,
  author       = {Laurent Michel and
                  Jean{-}Francois Puget},
  editor       = {Gert Smolka},
  title        = {Interval Methods for Non-linear Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {371},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017452},
  doi          = {10.1007/BFB0017452},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MichelP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Minton97,
  author       = {Steven Minton},
  editor       = {Gert Smolka},
  title        = {Configurable Solvers: Tailoring General Methods to Specific Applications},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {372--374},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017453},
  doi          = {10.1007/BFB0017453},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Minton97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MullerNP97,
  author       = {Martin M{\"{u}}ller and
                  Joachim Niehren and
                  Andreas Podelski},
  editor       = {Gert Smolka},
  title        = {Ordering Constraints over Feature Trees},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {297--311},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017447},
  doi          = {10.1007/BFB0017447},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MullerNP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PacholskiP97,
  author       = {Leszek Pacholski and
                  Andreas Podelski},
  editor       = {Gert Smolka},
  title        = {Set Constraints: {A} Pearl in Research on Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {549--562},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017466},
  doi          = {10.1007/BFB0017466},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PacholskiP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PesantGR97,
  author       = {Gilles Pesant and
                  Michel Gendreau and
                  Jean{-}Marc Rousseau},
  editor       = {Gert Smolka},
  title        = {{GENIUS-CP:} a Generic Single-Vehicle Routing Algorithm},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {420--434},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017457},
  doi          = {10.1007/BFB0017457},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PesantGR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ReginP97,
  author       = {Jean{-}Charles R{\'{e}}gin and
                  Jean{-}Francois Puget},
  editor       = {Gert Smolka},
  title        = {A Filtering Algorithm for Global Sequencing Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017428},
  doi          = {10.1007/BFB0017428},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ReginP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/RishF97,
  author       = {Irina Rish and
                  Daniel Frost},
  editor       = {Gert Smolka},
  title        = {Statistical Analysis of Backtracking on Inconsistent CSPs},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {150--162},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017436},
  doi          = {10.1007/BFB0017436},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/RishF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SabinF97,
  author       = {Daniel Sabin and
                  Eugene C. Freuder},
  editor       = {Gert Smolka},
  title        = {Understanding and Improving the {MAC} Algorithm},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017438},
  doi          = {10.1007/BFB0017438},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SabinF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Schulte97,
  author       = {Christian Schulte},
  editor       = {Gert Smolka},
  title        = {Programming Constraint Inference Engines},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {519--533},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017464},
  doi          = {10.1007/BFB0017464},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Schulte97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ShvetsovU97,
  author       = {Igor Shvetsov and
                  Vitaly Telerman and
                  Dmitry Ushakov},
  editor       = {Gert Smolka},
  title        = {NeMo+: Object-Oriented Constraint Programming Environment Based on
                  Subdefinite Models},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {534--548},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017465},
  doi          = {10.1007/BFB0017465},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ShvetsovU97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SmithG97,
  author       = {Barbara M. Smith and
                  Stuart A. Grant},
  editor       = {Gert Smolka},
  title        = {Modelling Exceptionally Hard Constraint Satisfaction Problems},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {182--195},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017439},
  doi          = {10.1007/BFB0017439},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SmithG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Yokoo97,
  author       = {Makoto Yokoo},
  editor       = {Gert Smolka},
  title        = {Why Adding More Constraints Makes a Problem Easier for Hill-climbing
                  Algorithms: Analyzing Landscapes of CSPs},
  booktitle    = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  pages        = {356--370},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017451},
  doi          = {10.1007/BFB0017451},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Yokoo97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cp/1997,
  editor       = {Gert Smolka},
  title        = {Principles and Practice of Constraint Programming - CP97, Third International
                  Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1330},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0017424},
  doi          = {10.1007/BFB0017424},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.