The monotone satisfiability problem with bounded variable appearances

DSpace Repositorium (Manakin basiert)

The monotone satisfiability problem with bounded variable appearances

Autor(en): Darmann, Andreas; Döcker, Janosch; Dorn, Britta
Tübinger Autor(en):
Döcker, Janosch
Dorn, Britta
Erschienen in: International Journal of Foundations of Computer Science (2018), Bd. 29, H. 6, S. 979-993
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1142/S0129054118500168
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: