Login / Signup

Unique Horn Renaming an Unique 2-Satisfiability.

Jean-Jacques Hébrard
Published in: Inf. Process. Lett. (1995)
Keyphrases
  • information retrieval
  • computational complexity
  • optimal solution
  • special case
  • propositional logic