- Tytuł:
- A remark on pseudo proof systems and hard instances of the satisfiability problem.
- Autorzy:
- Źródło:
-
Mathematical Logic Quarterly . Dec2018, Vol. 64 Issue 6, p418-428. 11p.
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.