ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
28
views
14
references
Top references
cited by
0
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,386
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
A \(O(n \log ^2 n)\) Checker and \(O(n^2 \log n)\) Filtering Algorithm for the Energetic Reasoning
other
Author(s):
Yanick Ouellet
,
Claude-Guy Quimper
Publication date
(Online):
June 08 2018
Publisher:
Springer International Publishing
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
CHAIN Network Collection
Most cited references
14
Record
: found
Abstract
: not found
Book
: not found
Computational Geometry
Mark de Berg
,
Otfried Cheong
,
Marc van Kreveld
…
(2008)
0
comments
Cited
98
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
PSPLIB - A project scheduling problem library
Arno Sprecher
,
Rainer Kolisch
(1997)
0
comments
Cited
87
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Extending chip in order to solve complex scheduling and placement problems
Nicolas Beldiceanu
,
Abderrahmane Aggoun
(1993)
0
comments
Cited
32
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
June 08 2018
Pages
: 477-494
DOI:
10.1007/978-3-319-93031-2_34
SO-VID:
89181a50-89a3-462d-a07c-fe8265d269f7
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Time-Bounded Query Generator for Constraint Acquisition
pp. 18
Propagating lex, find and replace with Dashed Strings
pp. 35
Designing Fair, Efficient, and Interpretable Policies for Prioritizing Homeless Youth for Housing Resources
pp. 52
An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science
pp. 63
Dealing with Demand Uncertainty in Service Network and Load Plan Design
pp. 72
Energy-Aware Production Scheduling with Power-Saving Modes
pp. 82
EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events
pp. 100
Off-Line and On-Line Optimization Under Uncertainty: A Case Study on Energy Management
pp. 117
Reasoning on Sequences in Constraint-Based Local Search Frameworks
pp. 135
Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts
pp. 153
Epiphytic Trees: Relational Consistency Applied to Global Optimization Problems
pp. 170
Learning Heuristics for the TSP by Policy Gradient
pp. 182
Three-Dimensional Matching Instances Are Rich in Stable Matchings
pp. 198
From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP
pp. 215
Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately
pp. 232
Chasing First Queens by Integer Programming
pp. 245
Accelerating Counting-Based Search
pp. 254
Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study
pp. 263
Boosting Efficiency for Computing the Pareto Frontier on Tree Structured Networks
pp. 280
Bandits Help Simulated Annealing to Complete a Maximin Latin Hypercube Design
pp. 289
A Dynamic Discretization Discovery Algorithm for the Minimum Duration Time-Dependent Shortest Path Problem
pp. 298
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms
pp. 316
Horizontally Elastic Not-First/Not-Last Filtering Algorithm for Cumulative Resource Constraint
pp. 333
Soft-Regular with a Prefix-Size Violation Measure
pp. 344
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations
pp. 361
Heuristic Variants of A$$^*$$ Search for 3D Flight Planning
pp. 377
Juniper: An Open-Source Nonlinear Branch-and-Bound Solver in Julia
pp. 387
Objective Landscapes for Constraint Programming
pp. 403
An Update on the Comparison of MIP, CP and Hybrid Approaches for Mixed Resource Allocation and Scheduling
pp. 412
Modelling and Solving the Senior Transportation Problem
pp. 429
Solver Independent Rotating Workforce Scheduling
pp. 446
Greedy Randomized Search for Scalable Compilation of Quantum Circuits
pp. 462
A Comparison of Optimization Methods for Multi-objective Constrained Bin Packing Problems
pp. 477
A $$O(n \log ^2 n)$$ Checker and $$O(n^2 \log n)$$ Filtering Algorithm for the Energetic Reasoning
pp. 495
The WeightedCircuitsLmax Constraint
pp. 512
A Local Search Framework for Compiling Relaxed Decision Diagrams
pp. 521
Symmetry Breaking Inequalities from the Schreier-Sims Table
pp. 530
Frequency-Based Multi-agent Patrolling Model and Its Area Partitioning Solution Method for Balanced Workload
pp. 546
Algorithms for Sparse k-Monotone Regression
pp. 557
Revisiting the Self-adaptive Large Neighborhood Search
pp. 567
A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs
pp. 585
Symbolic Bucket Elimination for Piecewise Continuous Constrained Optimization
pp. 595
Learning a Classification of Mixed-Integer Quadratic Programming Problems
pp. 605
Fleet Scheduling in Underground Mines Using Constraint Programming
Similar content
1,386
Digital and online symptom checkers and assessment services for urgent care to inform a new digital platform: a systematic review
Authors:
Duncan Chambers
,
Anna Cantrell
,
Maxine Johnson
…
Checkers is solved.
Authors:
Neil Burch
,
Martin Müller
,
A Kishimoto
…
\(\alpha\)Check: A mechanized metatheory model-checker
Authors:
James Cheney
,
Alberto Momigliano
See all similar