Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/cp/1995w,
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61479-6},
  doi          = {10.1007/3-540-61479-6},
  isbn         = {3-540-61479-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/1995w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BistarelliFMRSV95,
  author       = {Stefano Bistarelli and
                  H{\'{e}}l{\`{e}}ne Fargier and
                  Ugo Montanari and
                  Francesca Rossi and
                  Thomas Schiex and
                  G{\'{e}}rard Verfaillie},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {111--150},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_19},
  doi          = {10.1007/3-540-61479-6\_19},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/BistarelliFMRSV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BorningFW95,
  author       = {Alan Borning and
                  Bj{\o}rn N. Freeman{-}Benson and
                  Molly Wilson},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Constraint Hierarchies},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {23--62},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_17},
  doi          = {10.1007/3-540-61479-6\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BorningFW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/BouquetJ95,
  author       = {Fabrice Bouquet and
                  Philippe J{\'{e}}gou},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Solving Over-Constrained CSPs Using Weighted OBDDs},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {293--308},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_30},
  doi          = {10.1007/3-540-61479-6\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BouquetJ95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/FreuderW95,
  author       = {Eugene C. Freuder and
                  Richard J. Wallace},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Partial Constraint Satisfaction},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {63--110},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_18},
  doi          = {10.1007/3-540-61479-6\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/FreuderW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/GelleS95,
  author       = {Esther M. Gelle and
                  Ian F. C. Smith},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Dynamic Constraint Satisfaction with Conflict Management in Design},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {237--251},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_26},
  doi          = {10.1007/3-540-61479-6\_26},
  timestamp    = {Fri, 17 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/GelleS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Jampel95,
  author       = {Michael Jampel},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {A Brief Overview of Over-Constrained Systems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_16},
  doi          = {10.1007/3-540-61479-6\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Jampel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Jampel95a,
  author       = {Michael Jampel},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {A Composistional Theory of Constraint Hierarchies},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {189--206},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_22},
  doi          = {10.1007/3-540-61479-6\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Jampel95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/JussienB95,
  author       = {Narendra Jussien and
                  Patrice Boizumault},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Implementing Constraint Relaxation over Finite Domains Using Assumption-Based
                  Truth Maintenance Systems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {265--280},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_28},
  doi          = {10.1007/3-540-61479-6\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/JussienB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/LendrisKST95,
  author       = {Nick Lendris and
                  Lefteris M. Kirousis and
                  Yannis C. Stamatiou and
                  Dimitrios M. Thilikos},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Partial Arc Consistency},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {229--236},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_25},
  doi          = {10.1007/3-540-61479-6\_25},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/LendrisKST95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/MenezesB95,
  author       = {Francisco Menezes and
                  Pedro Barahona},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Defeasible Constraint Solving},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {151--170},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_20},
  doi          = {10.1007/3-540-61479-6\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MenezesB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SattarGG95,
  author       = {Abdul Sattar and
                  Aditya Ghose and
                  Randy Goebel},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Specifying Over-Constrained Problems in Default Logic},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {253--264},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_27},
  doi          = {10.1007/3-540-61479-6\_27},
  timestamp    = {Tue, 07 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SattarGG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Wallace95,
  author       = {Richard J. Wallace},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Cascaded Directed Arc Consistency and No-Good Learning for the Maximal
                  Constraint Satisfaction Problem},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {217--228},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_24},
  doi          = {10.1007/3-540-61479-6\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wallace95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/WallaceF95,
  author       = {Richard J. Wallace and
                  Eugene C. Freuder},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Heuristic Methods for Over-Constrained Constraint Satisfaction Problems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {207--216},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_23},
  doi          = {10.1007/3-540-61479-6\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WallaceF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/WeissschnurHG95,
  author       = {Rolf Wei{\ss}schnur and
                  Joachim Hertzberg and
                  Hans W. Guesgen},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Experiences in Solving Constraint Relaxation Networks with Boltzmann
                  Machines},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {281--292},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_29},
  doi          = {10.1007/3-540-61479-6\_29},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/WeissschnurHG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/Wolf95,
  author       = {Armin Wolf},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Transforming Ordered Constraint Hierarchies into Ordinary Constraint
                  Systems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_21},
  doi          = {10.1007/3-540-61479-6\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wolf95.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.