Kalinina, N. A.; Klimov, V. A.; Nechepurenko, M. I. FABULA system. Transformation problems and optimization in Boolean algebras. Input language and system architecture. (Russian. English summary) Zbl 0915.68076 Prepr., Vychisl. Tsentr Ross. Akad. Nauk Sib. Otd. 1995, No. 1044, 1-47 (1995). Summary: The FABULA system is described that is intended for solving transformation and optimization problems of Boolean algebras. MSC: 68W10 Parallel algorithms in computer science 68W30 Symbolic computation and algebraic computation Keywords:Boolean function; Boolean variable PDFBibTeX XMLCite \textit{N. A. Kalinina} et al., Prepr., Vychisl. Tsentr Ross. Akad. Nauk Sib. Otd. 1995, No. 1044, 1--47 (1995; Zbl 0915.68076)