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

  • 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 978-3-540-32275-7, 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. 23. Jahrgang, 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, s2cid 195755607, Backing Backtracking, S. 250–266, doi:10.1007/978-3-030-24258-9_18 (jku.at [PDF]).

jku.at

fmv.jku.at

minisat.se

princeton.edu

satcompetition.org

springer.com

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 978-3-540-32275-7, S. 36–50, doi:10.1007/978-3-540-32275-7_3 (springer.com [abgerufen am 20. Januar 2024]).