أرسل هذا في رسالة قصيرة: Deciding floating−point logic with abstract conflict driven clause learning