Procedures for the CPA problem based on the elimination of Boolean constraints