有没有能解出$n$条方程，$m$个未知数，方程式形如$\sum_{i=1}^m a_ix_i=b_i$满足$a_i,x_i \in \{0,1\}$的方法？

举个例子，就比如$2$条方程$x_1+x_2+x_3+x_4=3$和$x_1+x_3=1$能解出$x_2=x_4=1$？