この資料をSMS送信: Linear Completeness Thresholds for Bounded Model Checking.