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.

Last modified:

Ref.Un. Ref.Website
Global rank German rank
33doi.org
2nd place
3rd place
11springer.com
182nd place
148th place
11princeton.edu
802nd place
1,036th place
11minisat.se
low place
low place
11satcompetition.org
low place
low place
11jku.at
low place
2,989th 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-030-24257-2, Backing Backtracking, S. 250–266, doi:10.1007/978-3-030-24258-9_18 (jku.at [PDF]).

jku.at (Global: low place; German: 2,989th place)

fmv.jku.at

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

princeton.edu (Global: 802nd place; German: 1,036th place)

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

springer.com (Global: 182nd place; German: 148th 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]).