यदि आपका SAT एल्गोरिथम व्यावहारिक होने के लिए है, तो आपको उस पर SAT प्रतियोगिता बेंचमार्क चलाना चाहिए । SAT समाधान समुदाय आपके काम को अधिक गंभीरता से लेने जा रहा है यदि आप दिखा सकते हैं कि आपका दृष्टिकोण मौजूदा सॉल्वरों के साथ प्रतिस्पर्धी है। आपके सॉल्वर को हर सॉल्वर की तुलना में तेज़ होना या अधिक इंस्टेंस को हल करना नहीं है, लेकिन यह एक गंभीर प्रतियोगी होना चाहिए। बेंचमार्क चलाने के लिए आपको बहुत तेज़ या शक्तिशाली मशीन की आवश्यकता नहीं है; आप बस मिनी सैट या पिकोसेट जैसे मुक्त सैट सॉल्वरों में से एक के खिलाफ रनटाइम की तुलना कर सकते हैं । ये सॉल्वर आपको यह देखने की भी अनुमति देंगे कि उत्तरों को कैसा दिखना चाहिए।
यदि आप एक व्यावहारिक सॉल्वर पर काम कर रहे हैं जो नई तकनीकों का उपयोग करता है, और आपका दृष्टिकोण अभी तक प्रतिस्पर्धी नहीं है, तो मैं अभी भी इन बेंचमार्क को आज़माने का सुझाव दूंगा। वे आपको उन समस्याओं के प्रकारों को समझने में मदद करेंगे जिनका आपको हल करने का लक्ष्य होना चाहिए, और जिस तरह के प्रदर्शन के लिए आपका लक्ष्य होना चाहिए। आप हैंडबुक ऑफ़ सैटिस्फैबिलिटी या हालिया सर्वेक्षण के कुछ प्रमुख अध्यायों को भी पढ़ना चाह सकते हैं
- नॉट पिपाट्रिसावत और अदनान डार्विच, ऑन मॉडर्न क्लॉज-लर्निंग सैटिस्फैबिलिटी सॉल्वर्स , जर्नल ऑफ ऑटोमेटेड रीजनिंग 44 277–301, 2010। ( पीडीएफ )
प्रमुख सॉल्वरों का समर्थन करने वाले तर्कों के प्रकार देखने के लिए। यदि आपके पास नए विचार हैं जो अभी तक शीर्ष सॉल्वर के रूप में प्रदर्शन करने के लिए अनुकूलित नहीं हैं, तो आपको किसी ऐसे व्यक्ति को अपने दृष्टिकोण के संभावित लाभों की व्याख्या करने की आवश्यकता होगी जो सैद्धांतिक तर्क के लंबे अनुक्रम को जानता है जिसने "सबसे अच्छा" सेट किया है। अभ्यास "डिजाइन निर्णय।
यदि आपका योगदान विशुद्ध रूप से सैद्धांतिक है, तो आपको इस क्षेत्र में कई पत्रों से अवगत होना चाहिए, और अपने पेपर में स्पष्ट करना चाहिए कि आपका दृष्टिकोण कम से कम किसी तरह से बेहतर क्यों है। उदाहरण के लिए अमीन कोजा-ओगलन या एलन फ्रेज़ द्वारा हाल ही में काम पर एक नज़र डालें, ताकि कला की स्थिति और महत्वपूर्ण बिंदुओं के लिए महत्वपूर्ण कागजात के लिए एक महसूस हो सके।