NP-completeness of BCI

Prelegent(ci)

Paweł Urzyczyn

Afiliacja

MIMUW

Termin

22 października 2021 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

We will see a proof of NP-completness of propositional implicational logic BCI, in which each assumption is used exactly once.

---