Automata

Linearized graph algorithms for Boolean formulas: independent-fragment design method

B. P. Kuznetsov, A. A. Shalyto

Concern Avrora Scientific and Production Association Join Stock Company, St-Petersburg

UDC: 519.714


Received: 30.01.1995

 English version: Automation and Remote Control, 1998, 59:9, 1317–1326

Bibliographic databases:

•