Knowledge Compilation Using Theory Prime Implicates

Pierre Marquis. Knowledge Compilation Using Theory Prime Implicates. In IJCAI. pages 837-845, 1995.

Abstract

Abstract is missing.