电子世界
電子世界
전자세계
ELECTRONICS WORLD
2012年
6期
61-63,69
,共4页
可编程逻辑%SAT算法%可满足性%FPGA
可編程邏輯%SAT算法%可滿足性%FPGA
가편정라집%SAT산법%가만족성%FPGA
可满足性问题(简称SAT问题)作为第一个被证明的NP完全问题,是计算机科学的核心问题之一.本文系统总结了基于硬件可编程逻辑(FPGA--- Field Programmable Gate Array)的SAT算法研究.将基于FPGA的SAT算法研究分为了实例型(instance-specificd solver)和应用型(application-specified solver)两种类型.通过对各种方法的深入分析,指出了它们的优点和缺陷,进而提出未来研究的思路.
可滿足性問題(簡稱SAT問題)作為第一箇被證明的NP完全問題,是計算機科學的覈心問題之一.本文繫統總結瞭基于硬件可編程邏輯(FPGA--- Field Programmable Gate Array)的SAT算法研究.將基于FPGA的SAT算法研究分為瞭實例型(instance-specificd solver)和應用型(application-specified solver)兩種類型.通過對各種方法的深入分析,指齣瞭它們的優點和缺陷,進而提齣未來研究的思路.
가만족성문제(간칭SAT문제)작위제일개피증명적NP완전문제,시계산궤과학적핵심문제지일.본문계통총결료기우경건가편정라집(FPGA--- Field Programmable Gate Array)적SAT산법연구.장기우FPGA적SAT산법연구분위료실례형(instance-specificd solver)화응용형(application-specified solver)량충류형.통과대각충방법적심입분석,지출료타문적우점화결함,진이제출미래연구적사로.