Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/algorithm/10.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Algorithm DPLL反向链接算法示例_Algorithm_Logic_Artificial Intelligence_Inference - Fatal编程技术网
Fatal编程技术网
  • algorithm/
  • Algorithm DPLL反向链接算法示例

Algorithm DPLL反向链接算法示例

algorithm logic artificial-intelligence

Algorithm DPLL反向链接算法示例,algorithm,logic,artificial-intelligence,inference,Algorithm,Logic,Artificial Intelligence,Inference,我正在编写一个程序来模拟DPLL反向链接算法。我试图找到一个例子来解释它是如何在一组子句上实现或应用的，但没有成功。伪代码很好，但就其本身而言，解释性不强

我正在编写一个程序来模拟DPLL反向链接算法。我试图找到一个例子来解释它是如何在一组子句上实现或应用的，但没有成功。伪代码很好，但就其本身而言，解释性不强