Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
14
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,427
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Principles and Practice of Constraint Programming
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
other
Author(s):
Michael Maher
,
Nina Narodytska
,
Claude-Guy Quimper
,
Toby Walsh
Publication date
(Print):
2008
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
14
Record
: found
Abstract
: not found
Article
: not found
Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
Kellogg S. Booth
,
George S. Lueker
(1976)
0
comments
Cited
192
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Introducing global constraints in CHIP
N Beldiceanu
,
E Contejean
(1994)
0
comments
Cited
48
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Beyond the flow decomposition barrier
Andrew Goldberg
,
Satish I Rao
(1998)
0
comments
Cited
48
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Pages
: 159-174
DOI:
10.1007/978-3-540-85958-1_11
SO-VID:
bb57398d-9b35-4268-b45c-82ee08163193
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Back to the Complexity of Universal Programs
pp. 21
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine
pp. 36
Planning and Scheduling the Operation of a Very Large Oil Pipeline Network
pp. 52
Search Strategies for Rectangle Packing
pp. 67
Solving a Telecommunications Feature Subscription Configuration Problem
pp. 82
Protein Structure Prediction with Large Neighborhood Constraint Programming Search
pp. 97
An Application of Constraint Programming to Superblock Instruction Scheduling
pp. 112
Classes of Submodular Constraints Expressible by Graph Cuts
pp. 128
Optimization of Simple Tabular Reduction for Table Constraints
pp. 144
Universal Booleanization of Constraint Models
pp. 159
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
pp. 175
Guiding Search in QCSP + with Back-Propagation
pp. 190
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions
pp. 205
A Branch and Bound Algorithm for Numerical MAX-CSP
pp. 220
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
pp. 235
Cost-Based Domain Filtering for Stochastic Constraint Programming
pp. 251
Dichotomic Search Protocols for Constrained Optimization
pp. 266
Length-Lex Bounds Consistency for Knapsack Constraints
pp. 282
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems
pp. 298
From High Girth Graphs to Hard Instances
pp. 313
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT
pp. 327
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
pp. 342
Exploiting Common Subexpressions in Numerical CSPs
pp. 358
A Soft Constraint of Equality: Complexity and Approximability
pp. 372
Structural Tractability of Propagated Constraints
pp. 387
Connecting ABT with Arc Consistency
pp. 402
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies
pp. 418
Reformulating Positive Table Constraints Using Functional Dependencies
pp. 433
Relaxations for Compiled Over-Constrained Problems
pp. 448
Approximate Compilation of Constraints into Multivalued Decision Diagrams
pp. 463
Quantified Constraint Optimization
pp. 478
Exploiting Decomposition in Constraint Optimization Problems
pp. 493
A Coinduction Rule for Entailment of Recursively Defined Properties
pp. 509
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints
pp. 524
Perfect Constraints Are Tractable
pp. 529
Efficiently Solving Problems Where the Solutions Form a Group
pp. 534
Approximate Solution Sampling (and Counting) on AND/OR Spaces
pp. 539
Model Restarts for Structural Symmetry Breaking
pp. 545
An Elimination Algorithm for Functional Constraints
pp. 550
Crossword Puzzles as a Constraint Problem
pp. 555
Recent Hybrid Techniques for the Multi-Knapsack Problem
pp. 560
Edge Matching Puzzles as Hard SAT/CSP Benchmarks
pp. 566
Test Strategy Generation Using Quantified CSPs
pp. 571
Perfect Derived Propagators
pp. 576
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems
pp. 582
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation
pp. 588
Semi-automatic Generation of CHR Solvers for Global Constraints
pp. 593
Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions
pp. 598
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm
pp. 603
Computing All Optimal Solutions in Satisfiability Problems with Preferences
pp. 608
On the Efficiency of Impact Based Heuristics
pp. 613
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
pp. 618
A New Empirical Study of Weak Backdoors
pp. 624
Adding Search to Zinc
pp. 630
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
pp. 635
Search Space Reduction for Constraint Optimization Problems
pp. 640
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem
Similar content
2,427
In vitro organogenesis as an efficient method for the propagation of Dalbergia nigra
Authors:
Ingridh Medeiros Simões
,
Caroline Palacio de Araujo
,
Tamyris de Mello
…
Using average propagation lengths to identify production chains in the andalusian economy
Authors:
Erik
VEGETATIVE PROPAGATION OF Cordia trichotoma (VELL.) ARRAB. EX STEUD. BY CUTTINGS FROM SHOOTS AND ROOTS
Authors:
Dilson Antônio Bisognin
,
Paula Kielse
,
Kelen Lencina
…
See all similar
Cited by
1
Projection, consistency, and George Boole
Authors:
J. N. Hooker
See all cited by