Automatic Constraint Partitioning to Speed Up CLP Execution

Marluce Rodrigues Pereira, Patrícia Kayser Vargas, Maria Clicia Stelling de Castro, Felipe Maia Galvão França, Inês de Castro Dutra. Automatic Constraint Partitioning to Speed Up CLP Execution. In 19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 24-27 October 2007, Gramado, RS, Brazil. pages 271-278, IEEE Computer Society, 2007. [doi]

@inproceedings{PereiraVCFD07,
  title = {Automatic Constraint Partitioning to Speed Up CLP Execution},
  author = {Marluce Rodrigues Pereira and Patrícia Kayser Vargas and Maria Clicia Stelling de Castro and Felipe Maia Galvão França and Inês de Castro Dutra},
  year = {2007},
  doi = {10.1109/SBAC-PAD.2007.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/SBAC-PAD.2007.14},
  tags = {constraints, partitioning},
  researchr = {https://researchr.org/publication/PereiraVCFD07},
  cites = {0},
  citedby = {0},
  pages = {271-278},
  booktitle = {19th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), 24-27 October 2007, Gramado, RS, Brazil},
  publisher = {IEEE Computer Society},
}