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 |