TY  - JOUR
AU  - Imaña Pascual, José Luis
AU  - Sánchez, JM
PY  - 2001
DO  - 10.1049/ip-cdt:20010706
SN  - 1350-2387
UR  - https://hdl.handle.net/20.500.14352/106124
T2  - IEE Proceedings – Computers and Digital Techniques
AB  - Boolean or switching equations are powertul mathematical tools for digital logic. Several problems in digital circuit design, such as automatic test pattern generation, could be efficiently solved if fast procedures for solving Boolean equations were...
LA  - eng
M2  - 189
PB  - IEE (Institution of Electrical Engineers)
KW  - Computational geometry
KW  - Computational methods
KW  - Digital circuits
KW  - Logic programming
KW  - Set theory
KW  - Switching functions
KW  - Theorem proving
KW  - Tabular algebra
TI  - Formulation for the computation of Boolean operations
TY  - journal article
VL  - 148
ER  -