Narzędzia użytkownika

Narzędzia witryny


research

Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Poprzednia rewizja po obu stronach Poprzednia wersja
Nowa wersja
Poprzednia wersja
Nowa wersja Następna rewizja po obu stronach
research [2020/09/28 01:09]
admin
research [2020/09/28 12:38]
admin
Linia 1: Linia 1:
 **Research interests** **Research interests**
 +
 +----
 +
 +{{:school.jpg?300|}}
 +
 +**Raphael (1509-1511): //The School of Athens//**.
 +
 +----
  
 | Logical automated reasoning, SAT, MaxSAT |  | Logical automated reasoning, SAT, MaxSAT | 
Linia 10: Linia 18:
 [[https://bpp.agh.edu.pl/autor/klimek-radoslaw-01069|BPP - Publications Library AGH]] [[https://bpp.agh.edu.pl/autor/klimek-radoslaw-01069|BPP - Publications Library AGH]]
 [[https://orcid.org/0000-0002-9061-561X|ORCID]] [[https://orcid.org/0000-0002-9061-561X|ORCID]]
 +[[https://dblp.org/pid/97/364.html|DBLP]]
 [[https://www.scopus.com/authid/detail.uri?authorId=55250240200|Scopus]] [[https://www.scopus.com/authid/detail.uri?authorId=55250240200|Scopus]]
 [[https://scholar.google.pl/citations?user=PqV3P9oAAAAJ&hl=pl|Google Scholar]] [[https://scholar.google.pl/citations?user=PqV3P9oAAAAJ&hl=pl|Google Scholar]]
research.txt · ostatnio zmienione: 2020/12/29 13:01 przez admin