Výsledky vyhledávání - "Nonnumerical Algorithms AND Problems— Complexity of proof procedures General Terms Algorithms"

  • Zobrazuji výsledky 1 - 5 z 5
Upřesnit hledání
  1. 1

    Satisfiability algorithms for conjunctive queries over trees

    Autoři: James Cheney The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: James Cheney The Pennsylvania State University CiteSeerX Archives

    Zdroj: http://www.edbt.org/Proceedings/2011-Uppsala/papers/icdt/a15-cheney.pdf.

    Témata: Categories and Subject Descriptors H.2.3 [Database management systems, Languages— query languages, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems— Complexity of proof procedures General Terms Algorithms, Theory Keywords XPath, trees, satisfiability

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.3064

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.3064
    http://www.edbt.org/Proceedings/2011-Uppsala/papers/icdt/a15-cheney.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Are Short Proofs Narrow? QBF Resolution Is Not So Simple.

    Autoři: BEYERSDORFF, OLAF CHEW, LEROY MAHAJAN, MEENA a další

    Zdroj: ACM Transactions on Computational Logic; Jan2018, Vol. 19 Issue 1, p1-26, 26p

    Témata: EVIDENCE, BOOLEAN functions, CALCULI

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Are Short Proofs Narrow? QBF Resolution Is Not So Simple.

    Autoři: BEYERSDORFF, OLAF CHEW, LEROY MAHAJAN, MEENA a další

    Zdroj: ACM Transactions on Computational Logic; Dec2017, Vol. 18 Issue 4, p1-26, 26p

    Témata: BOOLEAN functions, CALCULI, SIMULATION methods & models, MATHEMATICAL analysis, COMPUTATIONAL complexity

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Parameterized Complexity of DPLL Search Procedures.

    Autoři: BEYERSDORFF, OLAF GALESI, NICOLA LAURIA, MASSIMO

    Zdroj: ACM Transactions on Computational Logic; Aug2013, Vol. 14 Issue 3, p1-21, 21p

    Témata: COMPUTATIONAL complexity, PARAMETER estimation, PERFORMANCE evaluation, ALGORITHMS, GRAPH theory, MATHEMATICAL formulas, MATHEMATICAL bounds

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    PSPACE Bounds for Rank-1 Modal Logics.

    Autoři: Schröder, Lutz Pattinson, Dirk

    Zdroj: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p13-13.33, 33p, 2 Diagrams

    Témata: ALGORITHMS, TECHNOLOGICAL complexity, COMPUTATIONAL complexity, PROGRAMMING languages, MATHEMATICAL logic

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: