Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
A.D. Zakrevskij
Information about the author A.D. Zakrevskij will soon be added to the site.
Found
4 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
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:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers