Gradient-Based Optimization on Gödel Logic as Discrete Local Search
تقترح هذه الورقة إطار عمل للتحسين القائم على التدرج في منطق غودل، والذي يربط بين قابلية التفاضل المستمر والاشباع البولياني المنفصل من خلال إثبات تكافئه مع البحث المحلي المنفصل، مع تقديم "خدعة غودل" للتغلب على القيم المثلى المحلية والتحقق من صحة النهج عبر اختبارات معايير المسائل المرضية (SAT) ومهام سودوكو البصرية.