The monotone satisfiability problem with bounded variable appearances

DSpace Repository

The monotone satisfiability problem with bounded variable appearances

Author: Darmann, Andreas; Döcker, Janosch; Dorn, Britta
Tübinger Autor(en):
Döcker, Janosch
Dorn, Britta
Published in: International Journal of Foundations of Computer Science (2018), Bd. 29, H. 6, S. 979-993
Language: English
Full text: http://dx.doi.org/10.1142/S0129054118500168
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)