Nie jesteś zalogowany |
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.
