Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
यह शोधपत्र एक हाइब्रिड SAT-सॉल्विंग फ्रेमवर्क प्रस्तावित करता है जो उच्च-सहमति मान्यताओं (high-agreement assumptions) के साथ कॉन्फ्लिक्ट-ड्रिवन क्लॉज लर्निंग (CDCL) को निर्देशित करने के लिए प्रोबेबिलिस्टिक-बिट आइसिंग सैम्पलर्स का लाभ उठाता है, जिससे विशिष्ट 3-SAT बेंचमार्क पर खोज प्रयास में महत्वपूर्ण कमी आती है और साथ ही यह निर्धारित करने के लिए मशीन लर्निंग गेट्स का उपयोग करता है कि ऐसा मार्गदर्शन कब फायदेमंद होता है।