26 search results - page 2 / 6 » Isomorphism Checking in GROOVE |
155
Voted
TOPLAS
1998
15 years 7 months ago
1998
190
Voted
AMAI
2004
Springer
16 years 24 days ago
2004
Springer
In this paper the use of graph isomorphism is investigated within the framework of symmetry breaking in constraint satisfaction problems. A running example of Comma-free codes is ...
180
Voted
MFCS
2005
Springer
16 years 27 days ago
2005
Springer
We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DN...
238
click to vote
SLS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
192
Voted
ACSD
2005
IEEE
16 years 1 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...