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/cp95.bht:"
download as .bib file
@inproceedings{DBLP:conf/cp/AjiliC95,
author = {Farid Ajili and
Evelyne Contejean},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Complete Solving of Linear Diophantine Equations and Inequations without
Adding Variables},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {1--17},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_1},
doi = {10.1007/3-540-60299-2\_1},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/AjiliC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BaaderS95,
author = {Franz Baader and
Klaus U. Schulz},
editor = {Ugo Montanari and
Francesca Rossi},
title = {On the Combination of Symbolic Constraints, Solution Domains, and
Constraint Solvers},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {380--397},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_23},
doi = {10.1007/3-540-60299-2\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BaaderS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BacchusG95,
author = {Fahiem Bacchus and
Adam J. Grove},
editor = {Ugo Montanari and
Francesca Rossi},
title = {On the Forward Checking Algorithm},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {292--308},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_18},
doi = {10.1007/3-540-60299-2\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BacchusG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BacchusR95,
author = {Fahiem Bacchus and
Paul van Run},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Dynamic Variable Ordering in CSPs},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {258--275},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_16},
doi = {10.1007/3-540-60299-2\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BacchusR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BjornerBM95,
author = {Nikolaj S. Bj{\o}rner and
Anca Browne and
Zohar Manna},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Automatic Generation of Invariants and Assertions},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {589--623},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_37},
doi = {10.1007/3-540-60299-2\_37},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BjornerBM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BorningF95,
author = {Alan Borning and
Bj{\o}rn N. Freeman{-}Benson},
editor = {Ugo Montanari and
Francesca Rossi},
title = {The {OTI} Constraint Solver: {A} Constraint Library for Constructing
Interactive Graphical User Interfaces},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {624--628},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_38},
doi = {10.1007/3-540-60299-2\_38},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BorningF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Buchberger95,
author = {Bruno Buchberger},
editor = {Ugo Montanari and
Francesca Rossi},
title = {What Is Symbolic Computation?},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {563},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_34},
doi = {10.1007/3-540-60299-2\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Buchberger95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CodognetC95,
author = {Christian Codognet and
Philippe Codognet},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Guarded Constructive Disjunction: Angel or Demon?},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {345--361},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_21},
doi = {10.1007/3-540-60299-2\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CodognetC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ColussiMM95,
author = {Livio Colussi and
Elena Marchiori and
Massimo Marchiori},
editor = {Ugo Montanari and
Francesca Rossi},
title = {On Termination of Constraint Logic Programs},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {431--448},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_26},
doi = {10.1007/3-540-60299-2\_26},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ColussiMM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DechterB95,
author = {Rina Dechter and
Peter van Beek},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Local and Global Relational Consistency},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {240--257},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_15},
doi = {10.1007/3-540-60299-2\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/DechterB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DomenjoudT95,
author = {Eric Domenjoud and
Ana Paula Tom{\'{a}}s},
editor = {Ugo Montanari and
Francesca Rossi},
title = {From Elliott-MacMahon to an Algorithm for General Linear Constraints
on Naturals},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {18--35},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_2},
doi = {10.1007/3-540-60299-2\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/DomenjoudT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FromherzS95,
author = {Markus P. J. Fromherz and
Vijay A. Saraswat},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Model-Based Computing: Using Concurrent Constraint Programming for
Modeling and Model Compilation},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {629--635},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_39},
doi = {10.1007/3-540-60299-2\_39},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/FromherzS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentMPW95,
author = {Ian P. Gent and
Ewan MacIntyre and
Patrick Prosser and
Toby Walsh},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Scaling Effects in the {CSP} Phase Transition},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {70--87},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_5},
doi = {10.1007/3-540-60299-2\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentMPW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GirodiasCO95,
author = {Pierre Girodias and
Eduard Cerny and
William J. Older},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Solving Linear, Min and Max Constraint Systems Using {CLP} based on
Relational Interval Arithmetic},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {186--203},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_12},
doi = {10.1007/3-540-60299-2\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GirodiasCO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldinK95,
author = {Dina Q. Goldin and
Paris C. Kanellakis},
editor = {Ugo Montanari and
Francesca Rossi},
title = {On Similarity Queries for Time-Series Data: Constraint Specification
and Implementation},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {137--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_9},
doi = {10.1007/3-540-60299-2\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GoldinK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Goltz95,
author = {Hans{-}Joachim Goltz},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Reducing Domains for Search in {CLP(FD)} and Its Application to Job-Shop
Scheduling},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {549--562},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_33},
doi = {10.1007/3-540-60299-2\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Goltz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GrumbachS95,
author = {St{\'{e}}phane Grumbach and
Jianwen Su},
editor = {Ugo Montanari and
Francesca Rossi},
title = {First-order Definability over Constraint Databases},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {121--136},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_8},
doi = {10.1007/3-540-60299-2\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GrumbachS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GuerinikC95,
author = {Nabil Guerinik and
Michel Van Caneghem},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Solving Crew Scheduling Problems bu Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {481--498},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_29},
doi = {10.1007/3-540-60299-2\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GuerinikC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hentenryck95,
author = {Pascal Van Hentenryck},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Constraint Solving for Combinatorial Search Problems: {A} Tutorial},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {564--587},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_35},
doi = {10.1007/3-540-60299-2\_35},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hentenryck95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JeavonsCG95,
author = {Peter Jeavons and
David A. Cohen and
Marc Gyssens},
editor = {Ugo Montanari and
Francesca Rossi},
title = {A Unifying Framework for Tractable Constraints},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {276--291},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_17},
doi = {10.1007/3-540-60299-2\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JeavonsCG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KellyMMSSY95,
author = {Andrew D. Kelly and
Andrew D. Macdonald and
Kim Marriott and
Harald S{\o}ndergaard and
Peter J. Stuckey and
Roland H. C. Yap},
editor = {Ugo Montanari and
Francesca Rossi},
title = {An Optimizing Compiler for {CLP(R)}},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {222--239},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_14},
doi = {10.1007/3-540-60299-2\_14},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/KellyMMSSY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Koubarakis95,
author = {Manolis Koubarakis},
editor = {Ugo Montanari and
Francesca Rossi},
title = {From Local to Global Consistency in Temporal Constraint Networks},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {53--69},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_4},
doi = {10.1007/3-540-60299-2\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Koubarakis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LarrosaM95,
author = {Javier Larrosa and
Pedro Meseguer},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Optimization-based Heuristics for Maximal Constraint Satisfaction},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {103--120},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_7},
doi = {10.1007/3-540-60299-2\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LarrosaM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Maher95,
author = {Michael J. Maher},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Constrained Dependencies},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {170--185},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_11},
doi = {10.1007/3-540-60299-2\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Maher95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MarriottO95,
author = {Kim Marriott and
Martin Odersky},
editor = {Ugo Montanari and
Francesca Rossi},
title = {A Confluent Calculus for Concurrent Constraint Programming with Guarded
Choice},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {310--327},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_19},
doi = {10.1007/3-540-60299-2\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MarriottO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Meier95,
author = {Micha Meier},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Debugging Constraint Programs},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {204--221},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_13},
doi = {10.1007/3-540-60299-2\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Meier95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MeierH95,
author = {Micha Meier and
Alexander Herold},
editor = {Ugo Montanari and
Francesca Rossi},
title = {{CLP} in {ECRC}},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {636--639},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_40},
doi = {10.1007/3-540-60299-2\_40},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/MeierH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Paltrnieri95,
author = {Massimo Paltrinieri},
editor = {Ugo Montanari and
Francesca Rossi},
title = {A Visual Constraint-Programming Environment},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {499--514},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_30},
doi = {10.1007/3-540-60299-2\_30},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Paltrnieri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PodelskiS95,
author = {Andreas Podelski and
Gert Smolka},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Situated Simplification},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {328--344},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_20},
doi = {10.1007/3-540-60299-2\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PodelskiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PrestwichM95,
author = {Steven D. Prestwich and
Shyam Mudambi},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Improved Branch and Bound in Constraint Logic Programming},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {533--548},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_32},
doi = {10.1007/3-540-60299-2\_32},
timestamp = {Mon, 07 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/PrestwichM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Puget95,
author = {Jean{-}Francois Puget},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Applications of Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {647--650},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_43},
doi = {10.1007/3-540-60299-2\_43},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Puget95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Rauzy95,
author = {Antoine Rauzy},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Polynomial Restrictions of {SAT:} What Can Be Done with an Efficient
Implementation of the Davis and Putnam's Procedure?},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {515--532},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_31},
doi = {10.1007/3-540-60299-2\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Rauzy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Revesz95,
author = {Peter Z. Revesz},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Safe Stratified Datalog with Integer Order Programs},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {154--169},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_10},
doi = {10.1007/3-540-60299-2\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/Revesz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SabinSRF95,
author = {Daniel Sabin and
Mihaela Sabin and
Robert D. Russell and
Eugene C. Freuder},
editor = {Ugo Montanari and
Francesca Rossi},
title = {A Constraint-Based Approach to Diagnosing Software Problems in Computer
Networks},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {463--480},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_28},
doi = {10.1007/3-540-60299-2\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SabinSRF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Saraswat95,
author = {Vijay A. Saraswat},
editor = {Ugo Montanari and
Francesca Rossi},
title = {The Concurrent Constraint Programming Research Programmes},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {588},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_36},
doi = {10.1007/3-540-60299-2\_36},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Saraswat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Simonis95,
author = {Helmut Simonis},
editor = {Ugo Montanari and
Francesca Rossi},
title = {The {CHIP} System and Its Applications},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {643--646},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_42},
doi = {10.1007/3-540-60299-2\_42},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Simonis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SimonisC95,
author = {Helmut Simonis and
Trijntje Cornelissens},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Modelling Producer/Consumer Constraints},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {449--462},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_27},
doi = {10.1007/3-540-60299-2\_27},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SimonisC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SmithBHW95,
author = {Barbara M. Smith and
Sally C. Brailsford and
Peter M. Hubbard and
H. Paul Williams},
editor = {Ugo Montanari and
Francesca Rossi},
title = {The Progressive Party Problem: Integer Linear Programming and Constraint
Programming Compared},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {36--52},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_3},
doi = {10.1007/3-540-60299-2\_3},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SmithBHW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Touraivane95,
author = {Toura{\"{\i}}vane},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Constraint Programming and Industrial Applications},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {640--642},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_41},
doi = {10.1007/3-540-60299-2\_41},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Touraivane95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Werner95,
author = {Andreas Werner},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Normalizing Narrowing for Weakly Terminating and Confluent Systems},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {415--430},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_25},
doi = {10.1007/3-540-60299-2\_25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Werner95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Yokoo95,
author = {Makoto Yokoo},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Asynchronous Weak-commitment Search for Solving Distributed Constraint
Satisfaction Problems},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {88--102},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_6},
doi = {10.1007/3-540-60299-2\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Yokoo95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Zaffanella95,
author = {Enea Zaffanella},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Domain Independent Ask Approximation in {CCP}},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {362--379},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_22},
doi = {10.1007/3-540-60299-2\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Zaffanella95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZhangZ95,
author = {Jian Zhang and
Hantao Zhang},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Constraint Propagation in Model Generation},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {398--414},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_24},
doi = {10.1007/3-540-60299-2\_24},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZhangZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1995,
editor = {Ugo Montanari and
Francesca Rossi},
title = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2},
doi = {10.1007/3-540-60299-2},
isbn = {3-540-60299-2},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/1995.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-06-14 21:11 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:
