Search Results - "Nonnumerical Algorithms AND Problems—complexity of proof procedure General Terms~"

Solving Satisfiability and Implication Problems in Database Systems

Authors: Sha Guo Wei Sun Mark A. Weiss et al.

Contributors: Sha Guo Wei Sun Mark A. Weiss et al.

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

Subject Terms: 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

File Description: application/pdf

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

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