workshop on
| satisfiability modulo theories
| workshop on abbr. | |
| gen. | семинар / практикум по |
| satisfiability modulo theories abbr. | |
| AI. | задача выполнимости формул в теориях; выполнимость формул в теориях |
| |||
| семинар / практикум по | |||
|
workshop on : 141 phrases in 14 subjects |
| Artificial intelligence | 3 |
| Astronautics | 73 |
| Business | 3 |
| Drug-related slang | 2 |
| Ecology | 1 |
| Energy industry | 3 |
| General | 3 |
| Makarov | 1 |
| Medical | 1 |
| Name of organization | 2 |
| Politics | 8 |
| Scientific | 2 |
| Toxicology | 1 |
| United Nations | 38 |