أرسل هذا في رسالة قصيرة: Magnetic Core, Smart Random Sampling, and Peripheral Partitioning in SAT Problems