Automatic Constraint Partitioning to Speed Up CLP Execution

Proceedings Article published Oct 2007 in 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'07)

Authors: Marluce Rodrigues Pereira, Patricia Kayser Vargas, Maria Clicia Stelling de Castro, Felipe M. G. Franca, Inas de Castro Dutra