Principles and practice of constraint programming -- CP 2005 : 11th international conference, CP 2005, Sitges, Spain, October 1-5, 2005 : proceedings /
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
2005
|
Series: | Lecture notes in computer science ;
3709 Lecture notes in computer science 3709 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- AC-*: a configurable, generic and adaptive arc consistency algorithm ; Maintaining arc consistency algorithms during the search without additional space cost / Jean-Charles Regin
- Weak composition for qualitative spatial and temporal reasoning / Jochen Renz, Gerard Ligozat
- Boosting distributed constraint satisfaction / Georg Ringwelski, Youssef Hamadi
- Depth-first mini-bucket elimination / Emma Rollon, Javier Larrosa
- Using SAT in QBF / Horst Samulowitz, Fahiem Bacchus
- Tree decomposition with function filtering / Marti Sanchez, Javier Larrosa, Pedro Meseguer
- On solving soft temporal constraints using SAT techniques / Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack
- Eplex: harnessing mathematical programming solvers for constraint logic programming / Kish Shen, Joachim Schimpt
- Caching search states in permutation problems / Barbara M. Smith
- Repair-based methods for quantified SCPs / Kostas Stergious
- Handling implication and universal quantification constraints in FLUX / Michael Thielscher
- Solving simple planning problems with more inference and no search / Vincent Vidal, Hector Geffner
- Solving large-scale nonlinear programming problems by constraint partitioning / Benjamin W. Wah, Yixin Chen
- Factor analytic studies of CSP heuristics / Richard J. Wallace
- Short papers. Lookahead saturation with restriction for SAT / Anbulagan, John Slaney
- Evolving variable-ordering heuristics for constrained optimisation / Stuart Bain, John Thornton, Abdul Sattar
- Multi-point constructive search / J. Christopher Beck
- Bounds of graph characteristics / Nicolas Beldiceanu, Thierry Petit, Guillaume Rochart
- Acquiring parameters of implied global constraints / Christian Bessiere, Remi Coletta, Thierry Petit
- Integrating benders decomposition within constraint programming / Hadrien Cambazard, Narendra Jussien
- Using Boolean constraint propagation for sub-clauses deduction / S. Darras, G. Dequen, L. Devendeville, B. Mazure, R. Ostrowski, l. Sais
- Extending systematic local search for job shop scheduling problems / Bistra Dilkina, Lei Duan, William S. Havens
- Interactive reconfiguration in power supply restoration / Tarik Hadzic, Henrik Reif Andersen
- Neighbourhood clause weight redistribution in local search for SAT / Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nhgia Pham
- Computing and exploiting tree-decompositions for solving constraint networks / Philippe Jegou, Samba Ndojh Ndiaye, Cyril Terrioux
- Encoding requests to web service compositions as constraints / Alexander Lazovik, Marco Aiello, Rosella Gennari
- Test instance generation for MAX 2SAT / Mistuo Motoki
- Consistency for quantified constraint satisfaction problems / Peter Nightingale
- Alternate modeling in sport scheduling / Laurent Perron
- Approximations in distributed optimization / Adrian Petcu, Boi Faltings
- Extremal CSPs / Nicolas Prcovic
- Beyond finite domains: the all different and global cardinality constraints / Claude-Guy Quimper, Toby Walsh
- Views and iterators for generic constraint implementations / Christian Schulte, Guido Tack
- Approximated consistency for the automatic recording problem / Meinolf Sellmann
- Towards an optimal CNF encoding of Boolean cardinality constraints / Carsten Sinz
- Approximate constrained subgraph matching / Stephane Zampelli, Yves Deville, Pierre Dupont
- Doctoral papers. Distributed constraints for large-scale scheduling problems / Montserrat Abril, Miguel A. Salido, Federico Barber
- Solving over-constrained problems with SAT / Josep Argelich, Felip Manya
- A constraint based agent for TAC-SCM / David A. Burke, Kenneth N. Brown
- Solving the car-sequencing problem as a non-binary CSP / Mihaela Butaru, Zineb Habbas
- Dimensioning an inbound call center using constraint programming / Cyril Canon, Jean-Charles Billaut, Jean-Louis Bouquard
- Methods to learn abstract scheduling models / Tom Carchrae, J. Christopher Beck, Eugene C. Freuder
- Automated search for heuristic functions / Pavel Cejnar, Roman Bartak
- Constraint-based inference: a bridge between constraint processing and probability inference / Le Chang, Alan K. Mackworth
- Scheduling social tournaments / Ivan Dotu, Alvaro del Val, Pascal Van Hentenryck
- Domain reduction for the circuit constraint / Latife Genc Kaya, John Hooker
- Using constraint programming for solving distance CSP with uncertainty / Carlos Grandon, Bertrand Neveu
- Improved algorithm for finding (a, b)-super solutions / Emmanuel Hebgrard, Toby Walsh
- Local consistency in weighted CSPs and inference in Max-SAT / Federico Heras, Javier Larrosa
- Modeling constraint programs with software technology standards / Matthias Hoche, Stefan Jahnichen
- Solution equivalent subquadrangle reformulations of constraint satisfaction problems / Chris Houghton, David Cohen
- Mechanism design for preference aggregationover coalitions / Eric Hsu, Sheila McIlraith
- LP as a global search heuristic across different constrainedness regions / Lucian Leahu, Carla Gomes
- Consistency for partially defined constraints / Andrei Legtchenko, Arnaud Lallouet
- Subnet generation problem: a new network routing problem / Cheuk Fun Bede Leung, Barry Richards, Olli Kamarainen
- Partial redundant modeling / Tiziana Ligorio, Susan L. Epstein
- AND / OR branch-and-bound for solving mixed integer linear programming problems / Radu Marinescu, Rina Dechter
- Weak symmetries in problem formulations / Roland Martin, Karsten Weihe
- Towards the systematic generation of channelling constraints / B. Martinez-Hernandez, A.M. Frisch
- AND / OR search spaces and the semantic width of constraint networks / Robert Mateescu, Rina Dechter
- Statistical modelling of CSP solving algorithms performance / Carles Mateu, Ramon Bejar, Cesar Fernandez
- Probabilistic arc consistency / Deepak Mehta, M.R.C. van Dongen
- GOOSE
- a generic object-oriented search environment / Henry Muller, Stefan Jahnichen
- Randomization for multi-agent constraint optimization / Quang Huy Nguyen, Boi V. Faltings
- Uncertainty in soft constraint problems / Maria Silvia Pini, Francesca Rossi
- Speeding up constrained path solvers with a reachability propagator / Luis Quesada, Peter Van Roy, Yves Deville
- From linear relaxations to global constraint propagation / Glaude-Guy Quimper, Alejandoro Lopez-Ortiz
- Encoding HTN planning as a dynamic CSP / Pavel Surynek, Roman Bartak
- Specialised constraints for stable matching problems / Chris Unsworth, Patrick Prosser
- Bounds-consistent local search / Stefania Verachi, Steven Prestwich
- Robust constraint solving using multiple heuristics / Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck
- Scheduling with uncertain start dates / Christine Wei Wu, Kenneth N. Brown, J. Christopher Beck
- The role of redundant clauses in solving satisfiability problems / Honglei Zeng, Sheila McIlraith
- Applying decompostion methods to crossword puzzle problems / Yaling Zheng, Berthe Y. Choueiry
- Asymmetric distributed constraints satisfaction problems / Roie Zivan, Amnon Meisels
- Full arc consistency in WCSP and in constraint hierarchies with finite domains / Josef Zlomek, Roman Bartak
- Invited papers. Search and inference in AI planning / Hector Geffner
- OWL: A description logic based ontology language / Ian Horrocks
- Preference reasoning / Francesca Rossi
- The G12 project: mapping solver independent models to efficient solutions / Peter J. Stuckey, Maria Garcia de la Banda, Michael Maher, Kim Marriott, John Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
- Best papers. Symmetry definitions for constraint satisfaction problems / David Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith
- Dynamic ordering for asynchronous backtracking on DisCSPs / Roie Zivan, Amnon Meisels
- Full papers. Incremental algorithms for local search from existential second-order logic / Magnus Agren, Pierre Flener, Justin Pearson
- Inter-distance constraint: an extension of the all-different constraint for scheduling equal length jobs / Konstantin Artiouchine, Philippe Baptiste
- Mind the gaps: a new splitting strategy for consistency techniques / Heikel Batnini, Claude Michel, Michel Rueher
- Graph invariants as necessary conditions for global constraints / Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
- Allocation and scheduling for MPSoCs via decomposition and no-good generation / Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Miano
- Sub-optimality approximations / Russell Bent, Irit Katriel, Pascal Van Hentenryck
- A linear-logic semantics for constraint handling rules / Hariolf Betz, Thom Fruhwirth
- Distributed stable matching problems / Ismel Brito, Pedro Meseguer
- Beyond hypertree width: decomposition methods without decompositions / Hubie Chen, Victor Dalmau
- Ad-hoc global constraints for life / Kenil C.K. Cheng, Roland H.C. Yap
- Tractable clones of polynomials over semigroups / Victor Dalmau, Ricard Gavalda, Pacal Tesson, Denis Therien
- CP (graph): introducing a graph computation domain in constraint programming / Gregoire Dooms, Yves Deville, Pierre Dupont
- Interval analysis in scheduling / Jerome Fortin, Pawel Zielinski, Didier Dubois, Helene Fargier
- Assumption-based pruning in conditional CSP / Felix Geller, Michael Veksler
- Conditional symmetry breaking / Ian P. Gent, Tom Kelsey, Steve A. Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
- Symmetry and consistency / Ian P. Gent, Tom Kelsey, Steve Linton, Colva Roney-Dougal
- Solving the MOLR and social golfers problems / Warwick Harvey, Thorsten Winterer
- Advances in polytime isomorph elimination for configuration / Laurent Henocque, Mathias Kleiner, Nicolas Prcovic
- Planning and scheduling to minimize tardiness / J.N. Hooker
- Search heuristics and heavy-tailed behavior / Tudor Hulubei, Barry O'Sullivan
- 2-way vs. d-way branching for CSP / Joey Hwang, David G. Mitchell
- Maintaining longest paths in cyclic graphs / Irit Katriel, Pascal Van Hentenryck
- Applying constraint programming to rigid body protein docking / Ludwig Krippahl, Pedro Barahona
- Maximum constraint satisfaction on diamonds / Andrei Krokhin, Benoit Larose
- Exploiting unit propagation to compute lower bounds in branch and bound max-SAT solvers / Chu Min Li, Felip Manya, Jordi Planes
- Generalized conflict learning for hybrid discrete/linear optimization / Hui Li, Brian Williams
- Parallel local search in comet / Laurent Michel, Pascal Van Hentenryck
- Generating corrective explanations for interactive constraint satisfaction / Barry O'Callaghan, Barry O'Sullivan, Eugene C. Freuder
- SPREAD: a balancing constraint based on statistics / Gilles Pesant, Jean-Charles Regin
- Automatic detection of variable and value symmetries ; Breaking all value symmetries in surjection problems / Jean-Francois Puget
- System demonstrations. CoJava: a unified language for simulation and optimization / Alexander Brodsky, Hadon Nash
- Programming with TOY(FD) / Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez
- Computing super-schedules / Emmanuel Hebrard, Paul Tyler, Toby Walsh
- Proterv-II: an integrated production planning and scheduling system / Andras Kovacs, Peter Egri, Tamas Kis, Jozsef Vancza
- The comet programming language and system / Laurent Michel, Pascal Van Hentenryck
- Random stimuli generation for functional hardware verification as a CP application / Yehuda Naveh, Roy Emek
- A BDD-based interactive configurator for modular systems / Erik R. van der Meer