Convex OptimizationΒΆ

Here we describe using a convex optimization algorithm along side boolean satisfiability in order to solve a sensor fault problem.