Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations.
Harvey E. RhodyVittorio ManoniJames R. HoelscherPublished in: SAFECOMP (1993)
Keyphrases
- high accuracy
- learning algorithm
- dynamic programming
- algebraic equations
- experimental evaluation
- cost function
- preprocessing
- nonlinear equations
- times faster
- significant improvement
- recognition algorithm
- detection algorithm
- theoretical analysis
- linear programming
- worst case
- user interface
- objective function
- expectation maximization
- computational cost
- search space
- mathematical model
- np hard
- combinatorial optimization
- improved algorithm
- exact solution
- linear equations
- k means
- case study