Satisfiability of mixed-Horn formulas

Artikel › Journalartikel › 2007

Zitation

Porschen, S.; Speckenmeyer, E.: Satisfiability of mixed-Horn formulas. In: Discrete Applied Mathematics 155. (2007), S. 1408-1419.

ISSN

0166-218X

Zitieren

BibTeX / RIS