Travelled to:
1 × Korea
1 × Spain
Collaborated with:
P.J.Stuckey A.Schutt
Talks about:
propag (2) constraint (1) system (1) solver (1) linear (1) global (1) domain (1) differ (1) integ (1) finit (1)
Person: Thibaut Feydy
DBLP: Feydy:Thibaut
Contributed to:
Wrote 2 papers:
- PPDP-2008-FeydySS #constraints #difference #finite
- Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
- SAC-2007-FeydyS #equation #integer #linear
- Propagating dense systems of integer linear equations (TF, PJS), pp. 306–310.