Before revision:  We present an encoding of those problems in MAX-SAT and show the practical complexity of this algorithm on a benchmark of binomialization problems inspired from CRN design problems.
After revision:  We present an encoding of those problems in MAX-SAT and show the practical complexity of this algorithm on a benchmark of quadratization problems inspired from CRN design problems.