A Fixed Point Operator for the Generalised Maximum Satisfiability Problem

Maurice Cochand. A Fixed Point Operator for the Generalised Maximum Satisfiability Problem. Discrete Applied Mathematics, 46(2):117-132, 1993. [doi]

Abstract

Abstract is missing.