Automated search for highly contextual Kochen-Specker proofs
تقدم هذه الورقة مساراً مؤتمتاً قائماً على نظرية المخططات لاكتشاف براهين كوشين-سبيكر عالية السياقية من خلال تعداد مخططات عدم التبادل والهايبرغرامات المرتبطة بها، والتي نجحت في استعادة التكوينات المعروفة وتقديم اختبارات سياقية مستقلة عن الحالة مع تحسين ملحوظ في تحمل الخطأ عند .