Sign In

Login

Password

Forgot Password ? Sign Up

DPLL (Russian Wikipedia)

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

refsWebsite
Global rank Russian rank
5web.archive.org
1st place
1st place
2princeton.edu
741st place
1,374th place
1upc.edu
low place
low place
1satcompetition.org
low place
low place
1satlive.org
low place
low place
1minisat.se
low place
low place
1webcitation.org
24th place
2nd place
1psu.edu
207th place
1,021st place
1doi.org
2nd place
3rd place

doi.org

dx.doi.org

minisat.se

princeton.edu

psu.edu

citeseer.ist.psu.edu

satcompetition.org

satlive.org

upc.edu

lsi.upc.edu

  • Nieuwenhuis, Robert; Oliveras, Albert; Tinelly, Cesar (2004), Abstract DPLL and Abstract DPLL Modulo Theories (PDF), Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, Proceedings: 36–50, Архивировано (PDF) 17 ноября 2011, Дата обращения: 26 января 2012 {{citation}}: Неизвестный параметр |urltype= игнорируется (справка) Источник. Дата обращения: 26 января 2012. Архивировано 17 ноября 2011 года.

web.archive.org

  • Nieuwenhuis, Robert; Oliveras, Albert; Tinelly, Cesar (2004), Abstract DPLL and Abstract DPLL Modulo Theories (PDF), Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, Proceedings: 36–50, Архивировано (PDF) 17 ноября 2011, Дата обращения: 26 января 2012 {{citation}}: Неизвестный параметр |urltype= игнорируется (справка) Источник. Дата обращения: 26 января 2012. Архивировано 17 ноября 2011 года.
  • The international SAT Competitions web page, sat! live, Архивировано 12 февраля 2005, Дата обращения: 26 января 2012 {{citation}}: Внешняя ссылка в |publisher= (справка) Источник. Дата обращения: 26 января 2012. Архивировано 12 февраля 2005 года.
  • zChaff website, Архивировано 19 апреля 2017, Дата обращения: 26 января 2012 Источник. Дата обращения: 26 января 2012. Архивировано 19 апреля 2017 года.
  • Chaff website, Архивировано 23 февраля 2020, Дата обращения: 26 января 2012 Источник. Дата обращения: 26 января 2012. Архивировано 23 февраля 2020 года.
  • Marques-silva, Joao. The impact of branching heuristics in propositional satisfiability algorithms (англ.) // In 9th Portuguese Conference on Artificial Intelligence (EPIA) : journal. — 1999. — doi:10.1.1.111.9184. Архивировано 14 апреля 2012 года.

webcitation.org