Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cp/BessiereR95,
  author       = {Christian Bessi{\`{e}}re and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Manfred Meyer},
  title        = {Using Bidirectionality to Speed up Arc-Constistency Processing},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_24},
  doi          = {10.1007/3-540-59479-5\_24},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BessiereR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BoizumaultDP95,
  author       = {Patrice Boizumault and
                  Yan Delon and
                  Laurent P{\'{e}}ridy},
  editor       = {Manfred Meyer},
  title        = {A {CLP} Approach for Examination Planning},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {85--101},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_20},
  doi          = {10.1007/3-540-59479-5\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BoizumaultDP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/CodognetC95a,
  author       = {Christian Codognet and
                  Philippe Codognet},
  editor       = {Manfred Meyer},
  title        = {A Generalized Semantics for Concurrent Constraint Languages and their
                  Abstract Interpretation},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {39--49},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_17},
  doi          = {10.1007/3-540-59479-5\_17},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CodognetC95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/EibenRR95,
  author       = {A. E. Eiben and
                  Paul{-}Erik Rau{\'{e}} and
                  Zs{\'{o}}fia Ruttkay},
  editor       = {Manfred Meyer},
  title        = {GA-easy and GA-hard Constraint Satisfaction Problems},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {267--283},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_30},
  doi          = {10.1007/3-540-59479-5\_30},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/EibenRR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/ErtlK95,
  author       = {M. Anton Ertl and
                  Andreas Krall},
  editor       = {Manfred Meyer},
  title        = {High-Level Constraints over Finite Domains},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_18},
  doi          = {10.1007/3-540-59479-5\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ErtlK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FileNT95,
  author       = {Gilberto Fil{\'{e}} and
                  Giuseppe Nardiello and
                  Adriano Tirabosco},
  editor       = {Manfred Meyer},
  title        = {Semmantic Properties of {CHIP} {(FD)}},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {225--245},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_28},
  doi          = {10.1007/3-540-59479-5\_28},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FileNT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Freuder95,
  author       = {Eugene C. Freuder},
  editor       = {Manfred Meyer},
  title        = {The Many Paths to Satisfaction},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {103--119},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_21},
  doi          = {10.1007/3-540-59479-5\_21},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Freuder95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Freuder95a,
  author       = {Eugene C. Freuder},
  editor       = {Manfred Meyer},
  title        = {Using Metalevel Constraint Knowledge to Reduce Constraint Checking},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {171--184},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_25},
  doi          = {10.1007/3-540-59479-5\_25},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Freuder95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Gensel95,
  author       = {J{\'{e}}r{\^{o}}me Gensel},
  editor       = {Manfred Meyer},
  title        = {Integrating Constraints in an Object-Based Knowledge Representation
                  System},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_19},
  doi          = {10.1007/3-540-59479-5\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Gensel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/PodelskiR95,
  author       = {Andreas Podelski and
                  Peter Van Roy},
  editor       = {Manfred Meyer},
  title        = {A Detailed Algorithm Testing Guards over Feature Trees},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {11--38},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_16},
  doi          = {10.1007/3-540-59479-5\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PodelskiR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Prosser95,
  author       = {Patrick Prosser},
  editor       = {Manfred Meyer},
  title        = {Forward Checking with Backmarking},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {185--204},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_26},
  doi          = {10.1007/3-540-59479-5\_26},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Prosser95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Rossi95,
  author       = {Francesca Rossi},
  editor       = {Manfred Meyer},
  title        = {Redundant Hidden Variables in Finite Domain Constraint Problems},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {205--223},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_27},
  doi          = {10.1007/3-540-59479-5\_27},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Rossi95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Smith95,
  author       = {Barbara M. Smith},
  editor       = {Manfred Meyer},
  title        = {In Search of Exceptionally Difficult Constraint Satisfaction Problems},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {139--155},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_23},
  doi          = {10.1007/3-540-59479-5\_23},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Smith95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Vlasie95,
  author       = {Dan R. Vlasie},
  editor       = {Manfred Meyer},
  title        = {Combining Hill Climbing and Forward Checking for Handling Disjunctive
                  Constraints},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {247--265},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_29},
  doi          = {10.1007/3-540-59479-5\_29},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Vlasie95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Wallace95a,
  author       = {Richard J. Wallace},
  editor       = {Manfred Meyer},
  title        = {Directed Arc Consistency Preprocessing},
  booktitle    = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5\_22},
  doi          = {10.1007/3-540-59479-5\_22},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wallace95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cp/1995s,
  editor       = {Manfred Meyer},
  title        = {Constraint Processing, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {923},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59479-5},
  doi          = {10.1007/3-540-59479-5},
  isbn         = {3-540-59479-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/1995s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.