Journal article

Propagating systems of dense linear integer constraints

Thibaut Feydy, Peter J Stuckey

CONSTRAINTS | SPRINGER | Published : 2009

DOI: 10.1007/s10601-008-9049-9

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Keywords

Interval Arithmetic

Computer Software Not Elsewhere Classified; Computer Software and Services Not Elsewhere Classified

Constraint Propagation

Gauss-Jordan Elimination

Fourier Elimination

Computer Science, Theory & Methods

Computer Science, Artificial Intelligence

Linear Constraints

Science & Technology

Computer Science