Harald Ganzinger, Robert Nieuwenhuis. Constraints and Theorem Proving. In Hubert Comon, Claude Marché, Ralf Treinen, editors, Constraints in Computational Logics: Theory and Applications, International Summer School, CCL 99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Volume 2002 of Lecture Notes in Computer Science, pages 159-201, Springer, 1999. [doi]
@inproceedings{GanzingerN99,
title = {Constraints and Theorem Proving},
author = {Harald Ganzinger and Robert Nieuwenhuis},
year = {1999},
url = {http://link.springer.de/link/service/series/0558/bibs/2002/2002159.htm},
tags = {constraints},
researchr = {https://researchr.org/publication/GanzingerN99},
cites = {0},
citedby = {0},
pages = {159-201},
booktitle = {Constraints in Computational Logics: Theory and Applications, International Summer School, CCL 99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures},
editor = {Hubert Comon and Claude Marché and Ralf Treinen},
volume = {2002},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41950-0},
}