A new type of computer for problems in propositional logic, with greatly reduced scanning procedures

DOI10.1016/S0019-9958(61)80004-1zbMath0154.42005OpenAlexW1998277677MaRDI QIDQ5535435

P. K. T. Vaswani, Colin Cherry

Publication date: 1961

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(61)80004-1

zbMATH Keywords

numerical analysis

Related Items (1)

Relational consistency algorithms and their application in finding subgraph and graph isomorphisms

This page was built for publication: A new type of computer for problems in propositional logic, with greatly reduced scanning procedures