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