Description |
1 online resource (xx, 887 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 3709 |
|
Lecture notes in computer science ; 3709. 0302-9743
|
Contents |
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 |
|
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 |
|
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 |
Analysis |
gegevensverwerking |
|
data processing |
|
computertechnieken |
|
computer techniques |
|
wiskunde |
|
mathematics |
|
programmeren |
|
programming |
|
computerwetenschappen |
|
computer sciences |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
logica |
|
logic |
|
programmeertalen |
|
programming languages |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
In |
OhioLINK electronic book center |
|
SpringerLink |
Subject |
Constraint programming (Computer science) -- Congresses
|
|
Informatique.
|
|
Constraint programming (Computer science)
|
|
Programmation par contraintes.
|
Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Van Beek, Peter.
|
ISBN |
9783540320500 |
|
3540320504 |
|
3540292381 |
|
9783540292388 |
|