Q

Dpll，SAT（可滿足性）問題，需要DPLL函數或程序？

2013-03-20 59 views -3 likes

-3

這裏是我的問題，我stucked在Matlab與SAT問題（Satisfability）Dpll，SAT（可滿足性）問題，需要DPLL函數或程序？

其實我需要一個叫做DPLL功能，我是在這裏看到的地方，但它在Java中，任何人都可以幫我請？

感謝

2013-03-20 user2192478

+0

很好地解釋這個問題：「誰能幫助我嗎？」，答案很可能是「是」。所以，*真實的**問題是什麼？* – 2013-03-21 01:18:48

+0

你誤會了我。我們*希望提供幫助。您沒有提供足夠的信息讓我們這樣做。 – 2013-03-21 11:10:14

A

回答

0

MATLAB具有嵌入式JVM，並且可以很容易地從裏面MATLAB調用Java類。

這the documentation

2013-03-21 00:55:09 Amro

相關問題