| |
| 2008 | ||
|---|---|---|
| 3 | EE | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235 |
| 2007 | ||
| 2 | EE | Andreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints CoRR abs/0709.2961: (2007) |
| 2005 | ||
| 1 | EE | Andreas Schutt, Armin Wolf, Gunnar Schrader: Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). INAP 2005: 66-80 |
| 1 | Thibaut Feydy | [3] |
| 2 | Gunnar Schrader | [1] |
| 3 | Peter J. Stuckey | [2] [3] |
| 4 | Armin Wolf | [1] |