Space-Time Assumptions Behind NP-Hardness of Propositional Satisfiability

Olga M. Kosheleva
Vladik Y. Kreinovich

Document Type Article

Abstract