Learning Missing Clauses by Inverse Resolution

Peter Idestam-Almquist. Learning Missing Clauses by Inverse Resolution. In FGCS. pages 610-617, 1992.

Abstract

Abstract is missing.