Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Avtomatika i Telemekhanika, 1995, Issue 2, Pages 111–124 (Mi at3571)  
This article is cited in 3 scientific papers (total 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
Full-text PDF (2333 kB) Citations (3)

Received: 09.07.1993
Bibliographic databases:
Document Type: Article
UDC: 519.7
Language: Russian
Citation: B. A. Kulik, “New classes of conjunctive normal forms with a polynomially recognizable property of satisfiability”, Avtomat. i Telemekh., 1995, no. 2, 111–124; Autom. Remote Control, 56:2 (1995), 245–255
Citation in format AMSBIB
\Bibitem{Kul95}
\by B.~A.~Kulik
\paper New classes of conjunctive normal forms with a polynomially recognizable property of satisfiability
\jour Avtomat. i Telemekh.
\yr 1995
\issue 2
\pages 111--124
\mathnet{http://mi.mathnet.ru/at3571}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=1328975}
\zmath{https://zbmath.org/?q=an:0925.68159}
\transl
\jour Autom. Remote Control
\yr 1995
\vol 56
\issue 2
\pages 245--255
Linking options:
  • https://www.mathnet.ru/eng/at3571
  • https://www.mathnet.ru/eng/at/y1995/i2/p111
    • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Avtomatika i Telemekhanika
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025