On optimal inverters
type: Item
instance of: scholarly article
zbMATH Open document ID: 1341.03052
author: Yijia Chen
author: Jörg Flum
published in: The Bulletin of Symbolic Logic
publication date: 2014-10-21T00:00:00Z
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03-02
zbMATH DE Number: 6359598
zbMATH Keywords: survey paper
MaRDI profile type: Publication
full work available at URL: bsl.2013.2
OpenAlex ID: W2329233923
cites work: Propositional proof systems, the consistency of first order theories and the complexity of computations
cites work: Which problems have strongly exponential complexity?
cites work: THE FASTEST AND SHORTEST ALGORITHM FOR ALL WELL-DEFINED PROBLEMS
cites work: On an optimal propositional proof system and the structure of easy subsets of TAUT.
cites work: Q4298260
cites work: Almost every set in exponential time is P-bi-immune
DOI: 10.1017/BSL.2013.2
title: On optimal inverters
description: scientific article; zbMATH DE number 6359598