CoReS: a tool for computing core graphs via SAT/SMT solvers (Q5918209): Difference between revisions

@@ Property / cites work @@
+Graphical Conjunctive Queries.
@@ Property / cites work: Graphical Conjunctive Queries. / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying graph languages with type graphs
@@ Property / cites work: Specifying graph languages with type graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890710
@@ Property / cites work: Q4890710 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed graph transformation with node type inheritance
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3267900
@@ Property / cites work: Q3267900 / rank @@
+Normal rank
@@ Property / cites work @@
+Data exchange: getting to the core
@@ Property / cites work: Data exchange: getting to the core / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
+Normal rank
@@ Property / cites work @@
+Random Graphs
@@ Property / cites work: Random Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The core of a graph
@@ Property / cites work: The core of a graph / rank @@
+Normal rank
@@ Property / cites work @@
+CoReS: a tool for computing core graphs via SAT/SMT solvers
+Normal rank
@@ Property / cites work @@
+Graph Transformation Units Guided by a SAT Solver
@@ Property / cites work: Graph Transformation Units Guided by a SAT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Duality theorems for finite structures (characterising gaps and good characterisations)
+Normal rank
@@ Property / cites work @@
+Emergence of Scaling in Random Networks
@@ Property / cites work: Emergence of Scaling in Random Networks / rank @@
+Normal rank