Login / Signup

On the Complexity of the Maximum Satisfiability Problem for Horn Formulas.

Brigitte JaumardBruno Simeone
Published in: Inf. Process. Lett. (1987)
Keyphrases
  • horn formulas
  • databases