Convex Optimization
===================

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