WIKINDX

TZI Literaturverzeichnis

WIKINDX Resources

Proceedings Article: BibTeX citation key:  Ermler2011
M. Ermler, H.-J. Kreowski, S. Kuske and C. von Totth, "From Graph Transformation Units via MiniSat to GrGen.Net: To Tackle Intractability" in Preproceedings of the International Symposium Applications of Graph Transformations with Industrial Relevance, A. Schürr, D. Varro and G. Varro, Eds., 2011,
Added by: Marcus Ermler 2011-12-23 19:07:37
 B 
Categories: General
Creators: Ermler, Kreowski, Kuske, Schürr, von Totth, Varro, Varro
Collection: Preproceedings of the International Symposium Applications of Graph Transformations with Industrial Relevance

Number of views:  587
Popularity index:  25.26%

 
wikindx      |     Total Resources:  3135     |     Database queries:  33     |     Script execution:  0.44094 secs