-3
вот моя проблема, я stucked в Matlab с SAT задачи (Satisfability)Dpll, SAT (удовлетворимость) probl, нужна функция DPLL или процедура?
На самом деле мне нужна функция называется DPLL, я видел его где-то здесь, но его в Java, может кто-нибудь помочь мне, пожалуйста ??
Благодаря
На вопрос «кто может мне помочь, пожалуйста?», Ответ, вероятно, «да». Итак, * что это ** настоящий вопрос? * –
Ты меня неправильно понял. Мы * делаем * хотим помочь. Вы не дали нам достаточной информации для этого. –