Różnice między wybraną wersją a wersją aktualną.
Poprzednia rewizja po obu stronach Poprzednia wersja | Nowa wersja Następna rewizja po obu stronach | ||
research [2020/09/28 01:04] admin |
research [2020/09/28 01:04] admin |
||
---|---|---|---|
Linia 1: | Linia 1: | ||
- | **Research** | + | **Research |
| Logical automated reasoning, SAT, MaxSAT | | | Logical automated reasoning, SAT, MaxSAT | |