DPLL algoritmus (Hungarian Wikipedia)

Analysis of information sources in references of the Wikipedia article "DPLL algoritmus" in Hungarian language version.

refsWebsite

Global rank Hungarian rank

2^nd place

8^th place

741^st place

1,451^st place

low place

low place

low place

3^rd place

28^th place

books.google.com

Van Beek, Peter.szerk.: Rossi: Backtracking search algorithms, Handbook of constraint programming. Elsevier, 122. o. (2006). ISBN 978-0-444-52726-4

Marques-Silva, João P..szerk.: Barahona: The Impact of Branching Heuristics in Propositional Satisfiability Algorithms, Progress in Artificial Intelligence: 9th Portuguese Conference on Artificial Intelligence, EPIA '99 Évora, Portugal, September 21–24, 1999 Proceedings, LNCS, 62–63. o.. DOI: 10.1007/3-540-48159-1_5 (1999). ISBN 978-3-540-66548-9
Stålmarck (1990. október 1.). „Modeling and Verifying Systems and Software in Propositional Logic”. IFAC Proceedings Volumes 23 (6), 31–36. o. DOI:10.1016/S1474-6670(17)52173-4.
Möhle (2019. december 7.). „Backing Backtracking”. Theory and Applications of Satisfiability Testing – SAT 2019 11628, 250–266. o. DOI:10.1007/978-3-030-24258-9_18.

Möhle (2019. december 7.). „Backing Backtracking”. Theory and Applications of Satisfiability Testing – SAT 2019 11628, 250–266. o. DOI:10.1007/978-3-030-24258-9_18.