Guarantees and limits of preprocessing in constraint satisfaction and reasoning

Gaspers, Serge; Szeider, Stefan

doi:10.1016/j.artint.2014.06.006

by Serge Gaspers, Stefan Szeider

Reference:

Guarantees and limits of preprocessing in constraint satisfaction and reasoningSerge Gaspers, Stefan SzeiderArtificial Intelligence, volume 216, pages 1-19, 2014.

Bibtex Entry:

@string{ai="Artificial Intelligence"}
@article {GaspersSzeider14,
    author = {Gaspers, Serge and Szeider, Stefan},
     title = {Guarantees and limits of preprocessing in constraint
              satisfaction and reasoning},
   journal = AI,
    volume = {216},
      year = {2014},
     pages = {1-19},
     doi = {10.1016/j.artint.2014.06.006},
}