Abstract: Majority-SAT (a.k.a. MAJ-SAT) is the problem of determining whether an input n-variable formula in conjunctive normal form (CNF) has at least 2^(n-1) satisfying assignments. Majority-SAT and ...
Abstract: The work presented here investigates proposed impact angle control guidance laws with terminal acceleration constraints for a stationary or slowly moving target. These laws, called ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback