1: \begin{abstract}

2: 	In this article, we discuss the numerical solution of Boolean polynomial programs by

3: 	algorithms borrowing from numerical methods for differential equations, namely the Houbolt and Lie schemes, and a Runge-Kutta scheme. We first introduce a quartic penalty functional (of Ginzburg-Landau type) to approximate the Boolean program by a continuous one and prove some convergence results as the penalty parameter $\varepsilon$ converges to $0$. We prove also that, under reasonable assumptions, the distance between local minimizers of the penalized problem and the (finite) set of solutions of the Boolean program is of order $O(\varepsilon)$. Next, we introduce algorithms for the numerical solution of the penalized problem, these algorithms relying on the Houbolt, Lie and Runge-Kutta schemes, classical methods for the numerical solution of ordinary or partial differential equations. We performed numerical experiments to investigate the impact of various parameters on the convergence of the algorithms. Numerical tests on random generated problems show good performances for our approaches. Indeed, our algorithms converge to local minimizers often close to global minimizers of the Boolean program, and the relative approximation error being of order $O(10^{-1})$.

4: 

5: \keywords{Boolean polynomial program \and Houbolt scheme \and Lie scheme \and Runge-Kutta scheme}

6: % \PACS{PACS code1 \and PACS code2 \and more}

7: \subclass{90C09 \and 90C10 \and 90C27 \and 90C30 \and 35Q90 \and 65K05}

8: \end{abstract}

9: