You are not logged in |
NP-completeness of BCI
- Speaker(s)
- Paweł Urzyczyn
- Affiliation
- MIMUW
- Date
- Oct. 22, 2021, 12:15 p.m.
- Room
- room 5820
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
We will see a proof of NP-completness of propositional implicational logic BCI, in which each assumption is used exactly once.
