The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae

James P. Delgrande, Arvind Gupta. The Complexity of Minimum Partial Truth Assignments and Implication in Negation-Free Formulae. Annals of Mathematics and Artificial Intelligence, 18(1):51-67, 1996.

Abstract

Abstract is missing.