SATCHMOREBID

swMATH6623MaRDI QIDQ18711FDOQ18711

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=876763

Described by source

• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

Cited In (10)

• Duality for goal-driven query processing in disjunctive deductive databases
• Ordered semantic hyper tableaux
• SATCHMORE: SATCHMO with RElevancy
• R-SATCHMO: Refinements on I-SATCHMO
• DCTP
• DWAM
• I-SATCHMO
• R-SATCHMO
• SATCHMO
• A relevance restriction strategy for automated deduction

This page was built for software: SATCHMOREBID