Výsledky vyhledávání - "Nonnumerical Algorithms and Problems—complexity of proof procedure General Terms"

Solving Satisfiability and Implication Problems in Database Systems

Autoři: Sha Guo Wei Sun Mark A. Weiss a další

Přispěvatelé: Sha Guo Wei Sun Mark A. Weiss a další

Zdroj: http://www.cs.fiu.edu/~weiss/tods.pdf.

Témata: I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—deduction, I.1.2. [Algebraic Manipulation, Algorithms—analysis of algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—complexity of proof procedure General Terms, Algorithms, Theory, Language Additional Key Words and Phrases, Deduction, reasoning, satisfiabilty, implication, equivalence

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.17; http://www.cs.fiu.edu/~weiss/tods.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.17
http://www.cs.fiu.edu/~weiss/tods.pdf