Қанағаттандыру мәселесі
task
ID: satisfiabilityproblem
Кіріс байланыстар
| Байланыс | Бастапқы нысан | Түрі | Әрекеттер |
|---|---|---|---|
| describes | Басымдық шектеулері | otherentity | Көру |
| exhibits | Шешімді фрагмент | otherentity | Көру |