DPLLアルゴリズム (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "DPLLアルゴリズム" in Japanese language version.

refsWebsite

Global rank Japanese rank

1,185^th place

2,667^th place

7,948^th place

low place

acm.org

portal.acm.org

Davis, Martin; Logemann, George, and Loveland, Donald (1962). “A Machine Program for Theorem Proving”. Communications of the ACM 5 (7): 394–397.

ias.edu

math.ias.edu

Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson. Exponential lower bounds for the running time of DPLL algorithms. Journal of Automated Reasoning, Volume35 , Issue1-3 , pp.51-72, 2001.