@incollection{Ajili-Contejean/95,
AUTHOR = {Ajili, Farid and Contejean, Evelyne},
TITLE = {Complete solving of linear diophantine equations and inequations without adding variables},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {1-17},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Domenjoud-Tomas/95,
AUTHOR = {Domenjoud, Eric and Tom{\'{a}}s, Ana Paula},
TITLE = {From Elliott-MacMahon to an algorithm for general linear constraints on naturals},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {18-35},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Smith-Brailsford-Hubbard-Williams/95,
AUTHOR = {Smith, Barbara M. and Brailsford, Sally C. and Hubbard, Peter M. and Williams, H. Paul},
TITLE = {The progressive party problem: Integer linear programming and constraint programming compared},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {36-52},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Koubarakis/95,
AUTHOR = {Koubarakis, Manolis},
TITLE = {From local to global consistency in temporal constraint networks},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {53-69},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gent-MacIntyre-Prosser-Walsh/95,
AUTHOR = {Gent, Ian P. and MacIntyre, Ewan and Prosser, Patrick and Walsh, Toby},
TITLE = {Scaling effects in the CSP phase transition},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {70-87},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yokoo/95,
AUTHOR = {Yokoo, Makoto},
TITLE = {Asynchronous weak-commitment search for solving distributed constraint satisfaction problems},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {88-102},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Larrosa-Meseguer/95,
AUTHOR = {Larrosa, Javier and Meseguer, Pedro},
TITLE = {Optimization-based heuristics for maximal constraint satisfaction},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {103-120},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Grumbach-Su/95,
AUTHOR = {Grumbach, St{\'{e}}phane and Su, Jianwen},
TITLE = {First-order definability over constraint databases},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {121-136},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Goldin-Kanellakis/95,
AUTHOR = {Goldin, Dina Q. and Kanellakis, Paris C.},
TITLE = {On similarity queries for time-series data: Constraint specification and implementation},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {137-153},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Revesz/95,
AUTHOR = {Revesz, Peter Z.},
TITLE = {Safe stratified datalog with integer order programs},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {154-169},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Maher/95,
AUTHOR = {Maher, Michael J.},
TITLE = {Constrained dependencies},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {170-185},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Girodias-Cerny-Older/95,
AUTHOR = {Girodias, Pierre and Cerny, Eduard and Older, William J.},
TITLE = {Solving linear, min and max constraint systems using CLP based on relational interval arithmetic},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {186-203},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meier/95,
AUTHOR = {Meier, Micha},
TITLE = {Debugging constraint programs},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {204-221},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kelly-Macdonald-Marriott-Sondergaard-Stuckey-Yap/95,
AUTHOR = {Kelly, Andrew D. and Macdonald, Andrew and Marriott, Kim and Sondergaard, Harald and Stuckey, Peter J. and Yap, Roland H.C.},
TITLE = {An optimizing compiler for CLP $({\cal R})$},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {222-239},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dechter-Beek/95,
AUTHOR = {Dechter, Rina and Beek, Peter van},
TITLE = {Local and global relational consistency},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {240-257},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacchus-Run/95,
AUTHOR = {Bacchus, Fahiem and Run, Paul van},
TITLE = {Dynamic variable ordering in CSPs},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {258-275},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jeavons-Cohen-Gyssens/95,
AUTHOR = {Jeavons, Peter and Cohen, David and Gyssens, Marc},
TITLE = {A unifying framework for tractable constraints},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {276-291},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bacchus-Grove/95,
AUTHOR = {Bacchus, Fahiem and Grove, Adam},
TITLE = {On the forward checking algorithm},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {292-309},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Marriott-Odersky/95,
AUTHOR = {Marriott, Kim and Odersky, Martin},
TITLE = {A confluent calculus for concurrent constraint programming with guarded choice},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {310-327},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Podelski-Smolka/95,
AUTHOR = {Podelski, Andreas and Smolka, Gert},
TITLE = {Situated simplification},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {328-344},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Codognet-Codognet/95,
AUTHOR = {Codognet, Christian and Codognet, Philippe},
TITLE = {Guarded constructive disjunction: Angel or demon?},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {345-361},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Zaffanella/95,
AUTHOR = {Zaffanella, Enea},
TITLE = {Domain independent ask approximation in CCP},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {362-379},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Baader-Schulz/95,
AUTHOR = {Baader, Franz and Schulz, Klaus U.},
TITLE = {On the combination of symbolic constraints, solution domains, and constraint solvers},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {380-397},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Zhang-Zhang/95,
AUTHOR = {Zhang, Jian and Zhang, Hantao},
TITLE = {Constraint propagation in model generation},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {398-414},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Werner/95,
AUTHOR = {Werner, Andreas},
TITLE = {Normalizing narrowing for weakly terminating and confluent systems},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {415-430},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Colussi-Marchiori-Marchiori/95,
AUTHOR = {Colussi, Livio and Marchiori, Elena and Marchiori, Massimo},
TITLE = {On termination of constraint logic programs},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {431-448},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Simonis-Cornelissens/95,
AUTHOR = {Simonis, Helmut and Cornelissens, Trijntje},
TITLE = {Modelling producer/consumer constraints},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {449-462},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sabin-Sabin-Russell-Freuder/95,
AUTHOR = {Sabin, Daniel and Sabin, Mihaela and Russell, Robert D. and Freuder, Eugene C.},
TITLE = {A constraint-based approach to diagnosing software problems in computer networks},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {463-480},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Guerinik-Caneghem/95,
AUTHOR = {Guerinik, Nabil and Caneghem, Michel van},
TITLE = {Solving crew scheduling problems by constraint programming},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {481-498},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Paltrinieri/95,
AUTHOR = {Paltrinieri, Massimo},
TITLE = {A visual constraint-programming environment},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {499-514},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rauzy/95,
AUTHOR = {Rauzy, Antoine},
TITLE = {Polynomial restrictions of SAT: What can be done with an efficient implementation of the Davis and Putnam's procedure?},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {515-532},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Prestwich-Mudambi/95,
AUTHOR = {Prestwich, Steven and Mudambi, Shyam},
TITLE = {Improved branch and bound in constraint logic programming},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {533-548},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Goltz/95,
AUTHOR = {Goltz, Hans Joachim},
TITLE = {Reducing domains for search in CLP (FD) and its application to job-shop scheduling},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {549-562},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchberger/95a,
AUTHOR = {Buchberger, Bruno},
TITLE = {What is symbolic computation?},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {563-563},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Hentenryck/95,
AUTHOR = {van Hentenryck, P.},
TITLE = {Constraint solving for combinatorial search problems: A tutorial},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {564-587},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Saraswat/95,
AUTHOR = {Saraswat, Vijay},
TITLE = {The concurrent constraint programming research programmes},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {588-588},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bjorner-Browne-Manna/95,
AUTHOR = {Bjorner, Nikolaj and Browne, Anca and Manna, Zohar},
TITLE = {Automatic generation of invariants and intermediate assertions},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {589-623},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Borning-Freeman-Benson/95,
AUTHOR = {Borning, Alan and Freeman-Benson, Bjorn N.},
TITLE = {The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {624-628},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fromherz-Saraswat/95,
AUTHOR = {Fromherz, Markus P.J. and Saraswat, Vijay A.},
TITLE = {Model-based computing: Using concurrent constraint programming for modeling and model compilation},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {629-635},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meier-Herold/95,
AUTHOR = {Meier, Micha and Herold, Alexander},
TITLE = {CLP in ECRC},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {636-639},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Touraivane/95,
AUTHOR = {Toura{\"i}vane},
TITLE = {Constraint programming and industrial applications},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {640-642},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Simonis/95,
AUTHOR = {Simonis, Helmut},
TITLE = {The CHIP system and its applications},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {643-646},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Puget/95,
AUTHOR = {Puget, Jean-Francois},
TITLE = {Applications of constraint programming},
BOOKTITLE = {Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, CP'95 (Cassis, France, September 19-22, 1995)},
SERIES = {LNCS},
VOLUME = {976},
PAGES = {647-650},
YEAR = {1995},
EDITOR = {Montanari, Ugo and Rossi, Francessca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}