2008 | ||
---|---|---|
2 | EE | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235 |
2007 | ||
1 | EE | Thibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310 |
1 | Andreas Schutt | [2] |
2 | Peter J. Stuckey | [1] [2] |