Using Join Networks to Compute Satisfiability