Қанағаттандыруды тексеру
task
ID: satisfiabilitychecking
Кіріс байланыстар
| Байланыс | Бастапқы нысан | Түрі | Әрекеттер |
|---|---|---|---|
| affects | NP-қаттылық | metric | Көру |
| Байланыс | Бастапқы нысан | Түрі | Әрекеттер |
|---|---|---|---|
| affects | NP-қаттылық | metric | Көру |