A fast algorithm for renaming a set of clauses as a horn set

Heikki Mannila*, Kurt Mehlhorn

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

9 Sitaatiot (Scopus)

Sormenjälki

Sukella tutkimusaiheisiin 'A fast algorithm for renaming a set of clauses as a horn set'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Mathematics

Engineering & Materials Science