NP-completeness of BCI - another view

Prelegent(ci)

Aleksy Schubert

Afiliacja

MIMUW

Termin

29 października 2021 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Another proof of NP-hardness of provability in BCI is presented. As a more natural source of the reduction, the one-in-three 3SAT problem is assumed.

---