Login / Signup

Application of BDDs in Boolean matching techniques for formal logic combinational verification.

Janett MohnkePaul MolitorSharad Malik
Published in: Int. J. Softw. Tools Technol. Transf. (2001)
Keyphrases
  • formal logic
  • predicate logic
  • machine learning
  • information systems
  • software engineering