Login / Signup

Tautology Testing with a Generalized Matrix Reduction Method.

Wolfgang Bibel
Published in: Theor. Comput. Sci. (1979)
Keyphrases
  • reduction method
  • selection algorithm
  • variable precision
  • data structure
  • leaf nodes