This article is cited in 3 papers

Simulation of Behavior and Intelligence

New classes of conjunctive normal forms with a polynomially recognizable property of satisfiability

B. A. Kulik

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

UDC: 519.7


Received: 09.07.1993

 English version: Automation and Remote Control, 1995, 56:2, 245–255

Bibliographic databases:

• 
•