Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization.
|
CPAIOR |
2020 |
1 |
Models for Radiation Therapy Patient Scheduling.
|
CP |
2019 |
6 |
Making Compact-Table Compact.
|
CP |
2018 |
5 |
Design and Implementation of Bounded-Length Sequence Variables.
|
CPAIOR |
2017 |
14 |
Increasing Nogoods in Restart-Based Search.
|
AAAI |
2016 |
13 |
Erratum to: Modeling Universal Instruction Selection.
|
CP |
2015 |
1 |
Modeling Universal Instruction Selection.
|
CP |
2015 |
12 |
View-Based Propagator Derivation - (Extended Abstract).
|
CP |
2014 |
2 |
Constraint-Based Register Allocation and Instruction Scheduling.
|
CP |
2012 |
39 |
Testing Continuous Double Auctions with a Constraint-Based Oracle.
|
CP |
2010 |
5 |
Maintaining State in Propagation Solvers.
|
CP |
2009 |
13 |
Propagator Groups.
|
CP |
2009 |
24 |
Generating Optimal Stowage Plans for Container Vessel Bays.
|
CP |
2009 |
23 |
Confidence-Based Work Stealing in Parallel Constraint Programming.
|
CP |
2009 |
78 |
Weakly Monotonic Propagators.
|
CP |
2009 |
22 |
Perfect Derived Propagators.
|
CP |
2008 |
11 |
Dynamic Analysis of Bounds Versus Domain Propagation.
|
ICLP |
2008 |
4 |
Advisors for Incremental Propagation.
|
CP |
2007 |
40 |
Generating Propagators for Finite Set Constraints.
|
CP |
2006 |
17 |
Views and Iterators for Generic Constraint Implementations.
|
CP |
2005 |
81 |
Speeding Up Constraint Propagation.
|
CP |
2004 |
67 |
Flow Java: Declarative Concurrency for Java.
|
ICLP |
2003 |
10 |
Comparing Trailing and Copying for Constraint Programming.
|
ICLP |
1999 |
81 |
Oz Explorer: A Visual Constraint Programming Tool.
|
ICLP |
1997 |
24 |
Programming Constraint Inference Engines.
|
CP |
1997 |
78 |