Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
37
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
2,494
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
2,494
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis
Authors:
Thakur Neupane
,
Chris Myers
,
Curtis Madsen
…
Analog property checkers: a DDR2 case study
Authors:
Kevin D. Jones
,
Victor Konrad
,
Dejan Nickovic
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
Authors:
Petr CERMÁK
,
Alessio Lomuscio
,
Fabio Mogavero
…
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