It's not a product, but I've been doing some research that involves Bayesian inference. One recently developed technique (called weighted model counting) conver

It's not a product, but I've been doing some research that involves Bayesian inference. One recently developed technique (called weighted model counting) converts inference problems into SAT problems and the group I work with has been thinking about implementing this technique. A lot of really smart people have worked on SAT, so a viable start to solving an NP-complete problem (e.g. traveling salesman in airline scheduling) is reduction to SAT.