Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
38
views
17
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,822
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Principles and Practice of Constraint Programming – CP 2004
Deriving Filtering Algorithms from Constraint Checkers
other
Author(s):
Nicolas Beldiceanu
,
Mats Carlsson
,
Thierry Petit
Publication date
(Print):
2004
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
ScienceOpen Research
Most cited references
17
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
Book Chapter
: not found
An open-ended finite domain constraint solver
Mats Carlsson
,
Greger Ottosson
,
Bjorn W. Carlson
(1997)
0
comments
Cited
23
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
CSPlib: A Benchmark Library for Constraints
Ian P. Gent
,
Toby Walsh
(1999)
0
comments
Cited
20
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 107-122
DOI:
10.1007/978-3-540-30201-8_11
SO-VID:
1185ba4b-eafd-4109-aa06-a7b80d0c9fa8
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 5
Constraint Programming Next Challenge: Simplicity of Use
pp. 47
Constraint-Based Combinators for Local Search
pp. 453
Symbolic Decision Procedures for QBF
pp. 604
Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
pp. 77
Constraint Propagation as a Proof System
pp. 107
Deriving Filtering Algorithms from Constraint Checkers
pp. 153
Decomposition and Learning for a Hard Real Time Task Allocation Problem
pp. 305
A Hybrid Method for Planning and Scheduling
pp. 362
Global Constraints for Integer and Set Value Precedence
pp. 438
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio
pp. 557
Impact-Based Search Strategies for Constraint Programming
pp. 619
Speeding Up Constraint Propagation
pp. 663
Solving Non-clausal Formulas with DPLL Search
pp. 716
The Tractability of Global Constraints
Similar content
1,822
Validation of the bovine blood calcium checker as a rapid and simple measuring tool for the ionized calcium concentration in cattle
Authors:
Kazuyuki SUZUKI
,
Nao Kondo
,
Kaede Takagi
…
The design and implementation of tripwire: a file system integrity checker
Authors:
Kim
Reformulation of Global Constraints Based on Constraints Checkers
Authors:
Thierry Petit
,
Mats Carlsson
,
Nicolas Beldiceanu
…
See all similar
Cited by
12
Deriving Filtering Algorithms from Constraint Checkers
Authors:
Nicolas Beldiceanu
,
Mats Carlsson
,
Thierry Petit
Global Constraint Catalogue: Past, Present and Future
Authors:
Mats Carlsson
,
Sophie Demassey
,
Thierry Petit
…
On global warming: Flow-based soft global constraints
Authors:
Willem-Jan Van Hoeve
,
Gilles Pesant
,
Louis-Martin Rousseau
See all cited by