The Resource Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)
Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)
Resource Information
The item Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
- Summary
- This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research
- Language
- eng
- Extent
- 1 online resource (xiii, 650 pages).
- Contents
-
- Scaling Effects in the CSP Phase Transition
- Ian P. Gent, Ewan MacIntyre, Patrick Prosser and Toby Walsh
- Asynchronous Weak-Commitment Search for Solving Distributed Constraint Satisfaction Problems
- Makoto Yokoo
- Optimization-Based Heuristics for Maximal Constraint Satisfaction
- Javier Larrosa and Pedro Meseguer
- First-Order Definability over Constraint Databases
- Stephane Grumbach and Jianwen Su
- Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables
- Farid Ajili and Evelyne Contejean
- From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals
- Eric Domenjoud and Ana Paula Tomas
- The Progressive Party Problem : Integer Linear Programming and Constraint Programming Compared
- Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams
- From Local to Global Consistency in Temporal Constraint Networks
- Manolis Koubarakis
- Isbn
- 9783540447887
- Label
- Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
- Title
- Principles and practice of constraint programming--CP '95
- Title remainder
- first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
- Statement of responsibility
- Ugo Montanari, Francesca Rossi (eds.)
- Title variation
- CP '95
- Subject
-
- Computer science
- Conference papers and proceedings
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Congressen (vorm)
- Constraint programming (Computer science)
- Constraint programming (Computer science)
- Constraint programming (Computer science) -- Congresses
- Information storage and retrieval systems
- Logic design
- Programmatuurtechniek
- Artificial intelligence
- Language
- eng
- Summary
- This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research
- Cataloging source
- AU@
- Dewey number
- 005.1/1
- Index
- index present
- LC call number
- QA76.612
- LC item number
- .C7 1995
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 1995
- http://bibfra.me/vocab/lite/meetingName
- CP (Conference)
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Montanari, U.
- Rossi, F.
- Series statement
- Lecture Notes in Computer Science,
- Series volume
- 976
- http://library.link/vocab/subjectName
-
- Constraint programming (Computer science)
- Computer science
- Logic design
- Information storage and retrieval systems
- Artificial intelligence
- Constraint programming (Computer science)
- Programmatuurtechniek
- Label
- Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- mixed
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Scaling Effects in the CSP Phase Transition
- Ian P. Gent, Ewan MacIntyre, Patrick Prosser and Toby Walsh
- Asynchronous Weak-Commitment Search for Solving Distributed Constraint Satisfaction Problems
- Makoto Yokoo
- Optimization-Based Heuristics for Maximal Constraint Satisfaction
- Javier Larrosa and Pedro Meseguer
- First-Order Definability over Constraint Databases
- Stephane Grumbach and Jianwen Su
- Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables
- Farid Ajili and Evelyne Contejean
- From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals
- Eric Domenjoud and Ana Paula Tomas
- The Progressive Party Problem : Integer Linear Programming and Constraint Programming Compared
- Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams
- From Local to Global Consistency in Temporal Constraint Networks
- Manolis Koubarakis
- Control code
- 851765589
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 650 pages).
- File format
- unknown
- Form of item
- online
- Isbn
- 9783540447887
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-60299-2
- Quality assurance targets
- unknown
- Reformatting quality
- access
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)851765589
- Label
- Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)
- Antecedent source
- file reproduced from original
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- mixed
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
-
- Scaling Effects in the CSP Phase Transition
- Ian P. Gent, Ewan MacIntyre, Patrick Prosser and Toby Walsh
- Asynchronous Weak-Commitment Search for Solving Distributed Constraint Satisfaction Problems
- Makoto Yokoo
- Optimization-Based Heuristics for Maximal Constraint Satisfaction
- Javier Larrosa and Pedro Meseguer
- First-Order Definability over Constraint Databases
- Stephane Grumbach and Jianwen Su
- Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables
- Farid Ajili and Evelyne Contejean
- From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals
- Eric Domenjoud and Ana Paula Tomas
- The Progressive Party Problem : Integer Linear Programming and Constraint Programming Compared
- Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams
- From Local to Global Consistency in Temporal Constraint Networks
- Manolis Koubarakis
- Control code
- 851765589
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 650 pages).
- File format
- unknown
- Form of item
- online
- Isbn
- 9783540447887
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/3-540-60299-2
- Quality assurance targets
- unknown
- Reformatting quality
- access
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)851765589
Subject
- Computer science
- Conference papers and proceedings
- Conference papers and proceedings
- Conference papers and proceedings
- Congressen (vorm)
- Congressen (vorm)
- Constraint programming (Computer science)
- Constraint programming (Computer science)
- Constraint programming (Computer science) -- Congresses
- Information storage and retrieval systems
- Logic design
- Programmatuurtechniek
- Artificial intelligence
Genre
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Principles-and-practice-of-constraint/e2qTCzOrHcI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Principles-and-practice-of-constraint/e2qTCzOrHcI/">Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Principles-and-practice-of-constraint/e2qTCzOrHcI/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Principles-and-practice-of-constraint/e2qTCzOrHcI/">Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings, Ugo Montanari, Francesca Rossi (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
