DPLL algorithm with literal renaming strategy

XU Dao－yun,LIU Chang－yun
Journal of Frontiers of Computer Science and Technology . 2007, (1): 116 -125 . 

京ICP备13024263号-1
Copyright © Journal of Frontiers of Computer Science and Technology
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: