Różnice między wybraną wersją a wersją aktualną.
Poprzednia rewizja po obu stronach Poprzednia wersja Nowa wersja | Poprzednia wersja Nowa wersja Następna rewizja po obu stronach | ||
research [2020/09/28 01:04] admin |
research [2020/09/28 12:38] admin |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
**Research interests** | **Research interests** | ||
+ | |||
+ | ---- | ||
+ | |||
+ | {{: | ||
+ | |||
+ | **Raphael (1509-1511): | ||
+ | |||
+ | ---- | ||
| Logical automated reasoning, SAT, MaxSAT | | | Logical automated reasoning, SAT, MaxSAT | | ||
Linia 8: | Linia 16: | ||
- | [[https:// | + | [[https:// |
[[https:// | [[https:// | ||
+ | [[https:// | ||
[[https:// | [[https:// | ||
[[https:// | [[https:// |