Sign In

Login

Password

Forgot Password ? Sign Up

DPLL-Algorithmus (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "DPLL-Algorithmus" in German language version.

refsWebsite
Global rank German rank
3doi.org
2nd place
3rd place
1springer.com
274th place
152nd place
1princeton.edu
741st place
1,038th place
1minisat.se
low place
low place
1satcompetition.org
low place
low place
1jku.at
low place
4,425th place

doi.org (Global: 2nd place; German: 3rd place)

  • Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Abstract DPLL and Abstract DPLL Modulo Theories. In: Logic for Programming, Artificial Intelligence, and Reasoning (= Lecture Notes in Computer Science). Springer, Berlin, Heidelberg 2005, ISBN 3-540-32275-2, S. 36–50, doi:10.1007/978-3-540-32275-7_3 (springer.com [abgerufen am 20. Januar 2024]).
  • G. Stålmarck, M. Säflund: Modeling and Verifying Systems and Software in Propositional Logic. In: IFAC Proceedings Volumes. Band 23, Nr. 6, Oktober 1990, S. 31–36, doi:10.1016/S1474-6670(17)52173-4 (englisch).
  • Sibylle Möhle, Armin Biere: Theory and Applications of Satisfiability Testing – SAT 2019 (= Lecture Notes in Computer Science. Band 11628). 2019, ISBN 978-3-03024257-2, Backing Backtracking, S. 250–266, doi:10.1007/978-3-030-24258-9_18 (jku.at [PDF]).

jku.at (Global: low place; German: 4,425th place)

fmv.jku.at

minisat.se (Global: low place; German: low place)

princeton.edu (Global: 741st place; German: 1,038th place)

satcompetition.org (Global: low place; German: low place)

springer.com (Global: 274th place; German: 152nd place)

link.springer.com

  • Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Abstract DPLL and Abstract DPLL Modulo Theories. In: Logic for Programming, Artificial Intelligence, and Reasoning (= Lecture Notes in Computer Science). Springer, Berlin, Heidelberg 2005, ISBN 3-540-32275-2, S. 36–50, doi:10.1007/978-3-540-32275-7_3 (springer.com [abgerufen am 20. Januar 2024]).