Search the dblp DataBase

Publications of Author

1. Thibaut Feydy, Peter J. Stuckey
   Propagating dense systems of integer linear equations. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:306-310 [Conf]
   
2. 
   Lazy Clause Generation Reengineered. [Citation Graph (, )][DBLP]
   
   
3. 
   Why Cumulative Decomposition Is Not as Bad as It Sounds. [Citation Graph (, )][DBLP]
   
   
4. 
   Rapid Learning for Binary Programs. [Citation Graph (, )][DBLP]
   
   
5. 
   Global difference constraint propagation for finite domain solvers. [Citation Graph (, )][DBLP]
   
   
6. 
   Propagating systems of dense linear integer constraints. [Citation Graph (, )][DBLP]