この資料をSMS送信: Relieving capacity limits on FPGA−based SAT−solvers