Method of solving nonlinear equation systems with Boolean variables
A method of solving nonlinear equation systems with Boolean variables, which realizes the strategy of variant‐directed enumeration, is related. Necessary and sufficient conditions of feasible plans existence are formalized. A procedure for the formal analysis of subsets of the variants is described...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius Gediminas Technical University
2008-09-01
|
Series: | Aviation |
Subjects: | |
Online Access: | https://journals.vgtu.lt/index.php/Aviation/article/view/6745 |