RUS
ENG
Full version
JOURNALS
// Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki
// Archive
Zh. Vychisl. Mat. Mat. Fiz.,
2002
Volume 42,
Number 2,
Pages
269–272
(Mi zvmmf1237)
Comparison of two algorithms for simplifying disjunctive normal forms
P. V. Yudaev
M. V. Lomonosov Moscow State University, Faculty of Computational Mathematics and Cybernetics
UDC:
519.71
MSC:
Primary
06E30
; Secondary
94C10
,
68W30
Received:
16.12.2000
Fulltext:
PDF file (656 kB)
References
English version:
Computational Mathematics and Mathematical Physics, 2002,
42
:2,
257–260
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (656 kB)