Scoring Functions Based on Second Level Score for k-SAT with Long Clauses

Shaowei Cai(Chinese Academy of Sciences), Kaile Su(Yantai University)

Journal of Artificial Intelligence Research

October 22, 2014

10.1613/jair.4480

Cited by 15

Related Papers

No related papers found

Powered by citation graph analysis