Tunable binary procedures and programs with loops (Q1058504)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Tunable binary procedures and programs with loops |
scientific article; zbMATH DE number 3900679
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tunable binary procedures and programs with loops |
scientific article; zbMATH DE number 3900679 |
Statements
Tunable binary procedures and programs with loops (English)
0 references
1984
0 references
A method is proposed for the evaluation of a system of Boolean formulas using a program with a loop in which some parameters generated by a previously created array are successively passed to a special procedure. The program with a loop is termed a cyclic binary program, and the procedure is termed a tunable binary procedure. Basic design principles and complexity bounds are considered.
0 references
program realization of systems of Boolean functions
0 references
evaluation of a system of Boolean formulas
0 references
complexity bounds
0 references
