Detecting state encoding conflicts in STG unfoldings using SAT Conferences

authors

• Khomenko, V
• Koutny, Maciej
• Yakovlev, A

status

• published 

publication date

• September 2004

has subject area

• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Fundamenta Informaticae  Journal

presented at event

• 3rd International Conference on Application of Concurrency to System Design  Conference

keywords

• CIRCUIT SYNTHESIS
• CSC
• Computer Science
• Computer Science, Software Engineering
• GRAPH
• Mathematics
• Mathematics, Applied
• PETRI NETS
• Petri nets
• Physical Sciences
• SAT
• STG
• Science & Technology
• Technology
• asynchronous circuits
• automated synthesis
• complete state coding
• net unfoldings
• partial order techniques
• signal transition graphs

start page

• 221

end page

• 241

volume

• 62

issue

• 2