Results 291 to 300 of about 236,217 (313)

Sets and Proofs: On the Complexity of the Propositional Calculus

, 1999
P. Pudlák
semanticscholar   +1 more source

Molecular cancer prevention: Current status and future directions

Ca-A Cancer Journal for Clinicians, 2015
Kenneth Y Tsai, Powel H Brown, Eva Szabo
exaly  

Complexity of Fixed-Size Bit-Vector Logics

Theory of Computing Systems, 2016
Gergely Kovásznai, Andreas Fröhlich, Armin Biere   +2 more
semanticscholar   +1 more source

Proof Complexity of Monotone Branching Programs

2022
Anupam Das, Avgerinos Delkos
openaire   +1 more source

Structure of FUS Protein Fibrils and Its Relevance to Self-Assembly and Phase Separation of Low-Complexity Domains

Cell, 2017
Dylan T Murray, Masato Kato, Yi Lin
exaly  

Fast Reed-Solomon Interactive Oracle Proofs of Proximity

Electron. Colloquium Comput. Complex., 2017
Eli Ben-Sasson, Iddo Bentov, Y. Horesh, Michael Riabzev   +3 more
semanticscholar   +1 more source

The Topological Semantics of Proof Complexity

Proof complexity stands as a fundamental area within theoretical computer science, primarily focused on establishing lower bounds on the size and depth of proofs in various propositional proof systems. This endeavor holds profound implications for the P vs NP problem, as strong lower bounds for general proof systems would imply P is not equal to NP ...
openaire   +1 more source

The complexity and stability of ecosystems

Nature, 1984
Stuart L Pimm
exaly  

On the virtue of succinct proofs: amplifying communication complexity hardness to time-space trade-offs in proof complexity

Symposium on the Theory of Computing, 2012
Trinh N. D. Huynh, Jakob Nordström
semanticscholar   +1 more source

Biomarker-guided therapy for colorectal cancer: strength in complexity

Nature Reviews Clinical Oncology, 2019
Anita Sveen, Scott Kopetz, Ragnhild A Lothe   +2 more
exaly