ДПЛЛ алгоритам (Serbian Wikipedia)

Analysis of information sources in references of the Wikipedia article "ДПЛЛ алгоритам" in Serbian language version.

refsWebsite

Global rank Serbian rank

741^st place

729^th place

low place

low place

1satcompetition.org

low place

low place

low place

low place

low place

low place

2^nd place

4^th place

1books.google.com

3^rd place

2^nd place

books.google.com

Beek, Peter Van (2006). „Backtracking search algorithms”. Ур.: Francesca Rossi, Peter Van Beek, Toby Walsh. Handbook of constraint programming. Elsevier. стр. 122. ISBN 978-0-444-52726-4.

doi.org

Marques-Silva, João (1999). „The Impact of Branching Heuristics in Propositional Satisfiability Algorithms”. Progress in Artificial Intelligence. Lecture Notes in Computer Science. 1695. стр. 62—74. ISBN 978-3-540-66548-9. doi:10.1007/3-540-48159-1_5.

minisat.se

„Minisat website”.

princeton.edu

satcompetition.org

The international SAT Competitions web page, sat! live Спољашња веза у |publisher= (помоћ)

satlive.org

The international SAT Competitions web page, sat! live Спољашња веза у |publisher= (помоћ)

upc.edu

lsi.upc.edu

Nieuwenhuis, Robert; Oliveras, Albert; Tinelly, Cesar (2004), „Abstract DPLL and Abstract DPLL Modulo Theories” (PDF), Proceedings Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, стр. 36—50