रेखांकन के लिए सरलतम अभ्यावेदन आसन्न मैट्रिसेस / सूचियों का उपयोग करते हैं, जिसका अर्थ है कि प्रत्येक नोड और किनारे को स्पष्ट रूप से दर्शाया गया है। मजबूत नियमितताओं को प्रदर्शित करने वाले रेखांकन के लिए निहित प्रतिनिधित्व के महत्व को लंबे समय से मान्यता दी गई है। उदाहरण के लिए, गैल्परिन और विगडरसन (1983), पापादिमित्रिउ और यानाकिस (ग्राफ्स के रसीले प्रतिनिधियों पर एक नोट , 1986) ने उन ग्राफ़ के प्रश्न का पता लगाया जिनके आसन्न मैट्रिक्स का प्रतिनिधित्व एक बूलियन सूत्र द्वारा किया जाता है, जिसमें उत्तर दिया जाता है कि क्या (i, j) एक किनारा है। नोड संख्या I और j के द्विआधारी प्रतिनिधित्व को देखते हुए। कटौती पर आम तौर पर संतुष्ट बाधाओं के तहत, स्पष्ट रेखांकन के लिए पी-पूर्ण समस्याएं इस प्रतिनिधित्व के लिए PSPACE- पूर्ण हो जाती हैं, एनपी-पूर्ण समस्याएं NEXPTIME- पूर्ण, आदि बन जाती हैं।
इस तरह के नियमित रेखांकन के लिए एक प्राकृतिक दृष्टिकोण एक ROBDD का उपयोग करके बूलियन सूत्र का प्रतिनिधित्व करना है; कठिनाई यह है कि शास्त्रीय एल्गोरिदम एक-एक करके नोड्स को एन्यूमरेट करते हैं, जो इस तरह के प्रतिनिधित्व पर घातीय लागत लगाता है और इस तरह से बचा जाना है। इस तरह के एक प्रतिनिधित्व, जैसे Gentilini एट अल। ( प्रतीकात्मक चरणों की एक रैखिक संख्या में दृढ़ता से जुड़े घटकों का संकलन ), वोल्फेल ( ओबीडीडी के साथ प्रतीकात्मक सामयिक छँटाई )।
मुझे आश्चर्य हो रहा है कि क्या इस तरह की तकनीकों का कुछ सर्वेक्षण है, क्योंकि इस तरह की कला की स्थिति में साहित्य को खराब करना असुविधाजनक है ...