The following pages link to Zenon Sadowski (Q1853506):
Displayed 9 items.
- On an optimal propositional proof system and the structure of easy subsets of TAUT. (Q1853507) (← links)
- Total nondeterministic Turing machines and a p-optimal proof system for SAT (Q2011675) (← links)
- Do there exist complete sets for promise classes? (Q3107337) (← links)
- Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes (Q3392941) (← links)
- (Q3674039) (← links)
- (Q4263798) (← links)
- (Q4530008) (← links)
- On an optimal quantified propositional proof system nal proof system and a complete language for NP ∩ co-NP for NP ∩ co-NP (Q5055954) (← links)
- (Q5422270) (← links)