Constraints and Theorem Proving

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]

Abstract

Abstract is missing.