Coverart for item
The Resource Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings, edited by Michael Maher, Jean-Francois Puget

Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings, edited by Michael Maher, Jean-Francois Puget

Label
Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings
Title
Principles and practice of constraint programming
Title remainder
CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings
Statement of responsibility
edited by Michael Maher, Jean-Francois Puget
Contributor
Editor
Subject
Genre
Language
eng
Summary
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of computing with constraints. In particular, there are several papers on applications of constraints, reflecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP'98), held in Pisa, Italy, 26-30 October, 1998. We received 115 high quality submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members
Member of
Cataloging source
DKDLA
Dewey number
005.116
Index
index present
Language note
English
LC call number
QA76.612
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • standards specifications
http://library.link/vocab/relatedWorkOrContributorDate
1959-
http://library.link/vocab/relatedWorkOrContributorName
  • Maher, Michael
  • Puget, Jean-Francois
Series statement
Lecture Notes in Computer Science
Series volume
1520,
http://library.link/vocab/subjectName
  • Constraint programming (Computer science)
  • Computer science
  • Logic design
  • Artificial intelligence
  • Artificial intelligence
  • Computer science
  • Constraint programming (Computer science)
  • Logic design
  • Programmatuurtechniek
Label
Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings, edited by Michael Maher, Jean-Francois Puget
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references at chapter ends, and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Submitted papers
  • Richard J. Wallace and
  • Eugene C. Freuder --
  • On completion of constraint handling rules
  • Slim Abdennadher and
  • Thom Fruehwirth
  • Error-correcting source code
  • Yasuhiro Ajiro,
  • Kazunori Ueda and
  • Kenta Cho
  • Optimized Q-pivot for exact linear solvers
  • David-Olivier Azulay and
  • Invited papers
  • Jean-François Pique
  • Constraint techniques for solving the protein structure prediction problem
  • Rolf Backofen
  • Global constraints for partial CSPs : a case-study of resource and due date constraints
  • Philippe Baptiste,
  • Claude Le Pape and
  • Laurent Peridy
  • Using graph decomposition for solving continuous CSPs
  • Christian Bliek,
  • Bertrand Neveu and
  • Open constraint programming
  • Gilles Trombettoni
  • Anytime lower bounds for constraint violation minimization problems
  • Bertrand Cabon,
  • Simon de Givry and
  • Gerard Verfaillie
  • Introducing external functions in constraint query languages
  • Barbara Catania,
  • Alberto Belussi and
  • Elisa Bertino
  • A note on partial consistencies over continuous domains
  • Joxan Jaffar and
  • Helene Collavizza,
  • François Delobel and
  • Michel Rueher
  • Consistency techniques in ordinary differential equations
  • Yves Deville,
  • Micha Janssens and
  • Pascal Van Hentenryck
  • Early projection in CLP(R)
  • Andreas Fordan and
  • Roland H.C. Yap
  • Roland Yap
  • Suggestion strategies for constraint-based matchmaker agents
  • Eugene C. Freuder and
  • Richard J. Wallace
  • Compiling semiring-based constraints with clp(FD,S)
  • Yan Georget and
  • Philippe Codognet
  • Combining topological and qualitative size constraints for spatial reasoning
  • Alfonso Gerevini and
  • Jochen Renz
  • Constraint representation for propagation
  • Constructing constraints
  • Warwick Harvey and
  • Peter J. Stuckey
  • A unified framework for interval constraints and interval arithmetic
  • T.J. Hickey,
  • M.H. van Emden and
  • H. Wu
  • Constraint-based problem decomposition for a key configuration problem
  • Ulrich Junker
  • Fuzzifying the constraint hierarchies framework
  • R.W.L. Kam and
  • Peter Jeavons
  • J.H.M. Lee
  • Constraints for object recognition in aerial images : handling of unobserved features
  • Thomas H. Kolbe
  • SALSA : a language for search algorithms
  • F. Laburthe and
  • Y. Caseau
  • Random constraint satisfaction : theory meets practice
  • Ewan MacIntyre,
  • Patrick Prosser,
  • Barbara Smith and
  • The dynamics of dynamic variable ordering heuristics
  • Toby Walsh
  • A tableau based constraint solving toolkit for interactive graphical applications
  • Kim Marriott,
  • Sitt Sen Chok and
  • Alan Finlay
  • Safe datalog queries with linear constraints
  • Peter Z. Revesz
  • Non-systematic search and learning : an empirical study
  • E. Thomas Richards and
  • Barry Richards
  • Patrick Prosser
  • A generic model and hybrid algorithm for hoist scheduling problems
  • Robert Rodošek and
  • Mark Wallace
  • Linear concurrent constraint programming over reals
  • Vincent Schachter
  • Using constraint programming and local search methods to solve vehicle routing problems
  • Paul Shaw
  • A polynomial time local propagation algorithm for general dataflow constraint problems
  • Gilles Trombettoni
  • Stable solutions for dynamic constraint satisfaction problems
  • Francesca Rossi and
  • Alessandro Sperduti
  • Scheduling multi-capacitated resources under complex temporal constraints
  • Amedeo Cesta,
  • Angelo Oddi, and
  • Stephen F. Smith
  • Implementing global constraints with index-sets and constraint templates
  • Yves Colombani
  • Generating feasible schedules for a pick-up and delivery problem
  • Eric Domenjoud,
  • Posters
  • Claude Kirchner and
  • Jianyang Zhou
  • An impartial efficiency comparison of FD constraint systems
  • Antonio J. Fernández and
  • Pat Hill
  • Optimizing with constraints : a case study in scheduling maintenance of electric power units
  • Daniel Frost and
  • Rina Dechter
  • Some surprising regularities in the behavior of stochastic local search
  • Holger H. Hoos and
  • Generation of test patterns for differential diagnosis of digital circuits
  • Thomas Stuetzle
  • Modelling CSP solution algorithms with Petri decision nets
  • Stephan Pontow
  • A framework for assertion-based debugging in constraint logic programming
  • Germán Puebla,
  • Francisco Bueno and
  • Manuel Hermenegildo
  • Parallel execution models for constraint propagation
  • Alvarez Ruiz-Andino,
  • Lourdes Araujo,
  • Francisco Azevedo and Pedro Barahona
  • Fernando Sáenz and
  • Jose Ruz
  • Using blocks for constraint satisfaction
  • B. Seybold,
  • F. Metzger,
  • G. Ogan and
  • K. Simon
  • Adaptive solving of equations over rational trees
  • Armin Wolf
  • Telecommunication application
  • Combine & conquer : genetic algorithm and CP for optimization
  • Optimal placement of base stations in wireless indoor telecommunication
  • Thom Fruewirth and
  • Pascal Brisset
  • Nicolas Barnier and
  • Pascal Brisset
  • Some experiments on learning soft constraints
  • Alessandro Biso,
Control code
769772981
Extent
1 online resource (xiv, 482 pages)
Form of item
online
Isbn
9783540494812
Lccn
98044829
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-49481-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)769772981
Label
Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings, edited by Michael Maher, Jean-Francois Puget
Publication
Copyright
Bibliography note
Includes bibliographical references at chapter ends, and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Submitted papers
  • Richard J. Wallace and
  • Eugene C. Freuder --
  • On completion of constraint handling rules
  • Slim Abdennadher and
  • Thom Fruehwirth
  • Error-correcting source code
  • Yasuhiro Ajiro,
  • Kazunori Ueda and
  • Kenta Cho
  • Optimized Q-pivot for exact linear solvers
  • David-Olivier Azulay and
  • Invited papers
  • Jean-François Pique
  • Constraint techniques for solving the protein structure prediction problem
  • Rolf Backofen
  • Global constraints for partial CSPs : a case-study of resource and due date constraints
  • Philippe Baptiste,
  • Claude Le Pape and
  • Laurent Peridy
  • Using graph decomposition for solving continuous CSPs
  • Christian Bliek,
  • Bertrand Neveu and
  • Open constraint programming
  • Gilles Trombettoni
  • Anytime lower bounds for constraint violation minimization problems
  • Bertrand Cabon,
  • Simon de Givry and
  • Gerard Verfaillie
  • Introducing external functions in constraint query languages
  • Barbara Catania,
  • Alberto Belussi and
  • Elisa Bertino
  • A note on partial consistencies over continuous domains
  • Joxan Jaffar and
  • Helene Collavizza,
  • François Delobel and
  • Michel Rueher
  • Consistency techniques in ordinary differential equations
  • Yves Deville,
  • Micha Janssens and
  • Pascal Van Hentenryck
  • Early projection in CLP(R)
  • Andreas Fordan and
  • Roland H.C. Yap
  • Roland Yap
  • Suggestion strategies for constraint-based matchmaker agents
  • Eugene C. Freuder and
  • Richard J. Wallace
  • Compiling semiring-based constraints with clp(FD,S)
  • Yan Georget and
  • Philippe Codognet
  • Combining topological and qualitative size constraints for spatial reasoning
  • Alfonso Gerevini and
  • Jochen Renz
  • Constraint representation for propagation
  • Constructing constraints
  • Warwick Harvey and
  • Peter J. Stuckey
  • A unified framework for interval constraints and interval arithmetic
  • T.J. Hickey,
  • M.H. van Emden and
  • H. Wu
  • Constraint-based problem decomposition for a key configuration problem
  • Ulrich Junker
  • Fuzzifying the constraint hierarchies framework
  • R.W.L. Kam and
  • Peter Jeavons
  • J.H.M. Lee
  • Constraints for object recognition in aerial images : handling of unobserved features
  • Thomas H. Kolbe
  • SALSA : a language for search algorithms
  • F. Laburthe and
  • Y. Caseau
  • Random constraint satisfaction : theory meets practice
  • Ewan MacIntyre,
  • Patrick Prosser,
  • Barbara Smith and
  • The dynamics of dynamic variable ordering heuristics
  • Toby Walsh
  • A tableau based constraint solving toolkit for interactive graphical applications
  • Kim Marriott,
  • Sitt Sen Chok and
  • Alan Finlay
  • Safe datalog queries with linear constraints
  • Peter Z. Revesz
  • Non-systematic search and learning : an empirical study
  • E. Thomas Richards and
  • Barry Richards
  • Patrick Prosser
  • A generic model and hybrid algorithm for hoist scheduling problems
  • Robert Rodošek and
  • Mark Wallace
  • Linear concurrent constraint programming over reals
  • Vincent Schachter
  • Using constraint programming and local search methods to solve vehicle routing problems
  • Paul Shaw
  • A polynomial time local propagation algorithm for general dataflow constraint problems
  • Gilles Trombettoni
  • Stable solutions for dynamic constraint satisfaction problems
  • Francesca Rossi and
  • Alessandro Sperduti
  • Scheduling multi-capacitated resources under complex temporal constraints
  • Amedeo Cesta,
  • Angelo Oddi, and
  • Stephen F. Smith
  • Implementing global constraints with index-sets and constraint templates
  • Yves Colombani
  • Generating feasible schedules for a pick-up and delivery problem
  • Eric Domenjoud,
  • Posters
  • Claude Kirchner and
  • Jianyang Zhou
  • An impartial efficiency comparison of FD constraint systems
  • Antonio J. Fernández and
  • Pat Hill
  • Optimizing with constraints : a case study in scheduling maintenance of electric power units
  • Daniel Frost and
  • Rina Dechter
  • Some surprising regularities in the behavior of stochastic local search
  • Holger H. Hoos and
  • Generation of test patterns for differential diagnosis of digital circuits
  • Thomas Stuetzle
  • Modelling CSP solution algorithms with Petri decision nets
  • Stephan Pontow
  • A framework for assertion-based debugging in constraint logic programming
  • Germán Puebla,
  • Francisco Bueno and
  • Manuel Hermenegildo
  • Parallel execution models for constraint propagation
  • Alvarez Ruiz-Andino,
  • Lourdes Araujo,
  • Francisco Azevedo and Pedro Barahona
  • Fernando Sáenz and
  • Jose Ruz
  • Using blocks for constraint satisfaction
  • B. Seybold,
  • F. Metzger,
  • G. Ogan and
  • K. Simon
  • Adaptive solving of equations over rational trees
  • Armin Wolf
  • Telecommunication application
  • Combine & conquer : genetic algorithm and CP for optimization
  • Optimal placement of base stations in wireless indoor telecommunication
  • Thom Fruewirth and
  • Pascal Brisset
  • Nicolas Barnier and
  • Pascal Brisset
  • Some experiments on learning soft constraints
  • Alessandro Biso,
Control code
769772981
Extent
1 online resource (xiv, 482 pages)
Form of item
online
Isbn
9783540494812
Lccn
98044829
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-49481-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)769772981

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...