Zakrevskij A.D.

A.D. Zakrevskij

Information about the author A.D. Zakrevskij will soon be added to the site.
Found 4 papers in total
On solvability of Boolean equations
2007
It is shown that revealing the functional regularities in data is reduced to checking...
Sequential decomposition of the Boolean function: search for a suitable partition on a set of arguments
2007
A new heuristic algorithm for Boolean functions decomposition is suggested. The...
Vector analysis of a Boolean function for decomposability on a given division
2006
A new algorithm is suggested for checking a Boolean function for decomposability on a...
Solving the majority of linear logical equations of inconsistent system on supercomputer
2006
Overdefined systems of linear logical equations are considered, the number of...
Papers per page: