A linear time algorithm for unique Horn satisfiability

https://doi.org/10.1016/0020-0190(93)90178-CGet rights and content

First page preview

First page preview
Click to open first page preview

References (11)

There are more references available in the full text version of this article.

Cited by (7)

  • Unique Horn renaming and Unique 2-Satisfiability

    1995, Information Processing Letters
  • About some UP-based polynomial fragments of SAT

    2017, Annals of Mathematics and Artificial Intelligence
  • Dichotomy theorem for the generalized unique satisfiability problem

    1999, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
View all citing articles on Scopus
View full text