Thibaut Feydy

	2009
5		Thibaut Feydy, Peter J. Stuckey: Lazy Clause Generation Reengineered. CP 2009: 352-366
4		Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace: Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761
3		Thibaut Feydy, Peter J. Stuckey: Propagating systems of dense linear integer constraints. Constraints 14(2): 235-253 (2009)
	2008
2		Thibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235
	2007
1		Thibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310

Coauthor Index

1	Andreas Schutt	[2] [4]
2	Peter J. Stuckey	[1] [2] [3] [4] [5]
3	Mark Wallace	[4]