Sign In

Login

Password

Forgot Password ? Sign Up

Algorithme DPLL (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Algorithme DPLL" in French language version.

refsWebsite
Global rank French rank
2princeton.edu
741st place
1,215th place
1upc.edu
low place
9,875th place
1satcompetition.org
low place
low place
1minisat.se
low place
low place
1doi.org
2nd place
3rd place
1psu.edu
207th place
929th place

doi.org

dx.doi.org

  • João Marques-silva, « The impact of branching heuristics in propositional satisfiability algorithms », In 9th Portuguese Conference on Artificial Intelligence (EPIA),‎ (DOI 10.1007/3-540-48159-1_5, lire en ligne)

minisat.se

princeton.edu

psu.edu

citeseer.ist.psu.edu

  • João Marques-silva, « The impact of branching heuristics in propositional satisfiability algorithms », In 9th Portuguese Conference on Artificial Intelligence (EPIA),‎ (DOI 10.1007/3-540-48159-1_5, lire en ligne)

satcompetition.org

upc.edu

lsi.upc.edu

  • Robert Nieuwenhuis, Albert Oliveras et Cesar Tinelly, « Abstract DPLL and Abstract DPLL Modulo Theories », Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, Proceedings,‎ , p. 36-50 (lire en ligne [PDF])