Quantum Physics using Weighted Model Counting
यह शोध पत्र एक सैद्धांतिक रूप से आधारित, पायथन-कार्यान्वित ढांचे को प्रस्तुत करता है जो डिराक नोटेशन (Dirac notation) को वेटेड मॉडल काउंटिंग (WMC) इंस्टेंस में अनुवादित करता है, जिससे विविध क्वांटम और शास्त्रीय भौतिक मॉडलों के लिए पार्टिशन फंक्शन (partition functions) की गणना करने हेतु स्वचालित तर्क हेयुरिस्टिक्स (automated reasoning heuristics) के व्यवस्थित अनुप्रयोग को सक्षम बनाया जा सके।