×

FABULA system. Transformation problems and optimization in Boolean algebras. Input language and system architecture. (Russian. English summary) Zbl 0915.68076

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
PDFBibTeX XMLCite