Monadic second order logic on graphs with local cardinality constraints
暂无分享,去创建一个
[1] Hans L. Bodlaender. A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC '93.
[2] James W. Thatcher,et al. Generalized finite automata theory with an application to a decision problem of second-order logic , 1968, Mathematical systems theory.
[3] Michael R. Fellows,et al. Parameterized Complexity , 1998 .
[4] Alexandr V. Kostochka,et al. On Equitable Coloring of d-Degenerate Graphs , 2005, SIAM J. Discret. Math..
[5] W. T. Tutte. The Factors of Graphs , 1952, Canadian Journal of Mathematics.
[6] Jörg Flum,et al. Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .
[7] Hans L. Bodlaender,et al. A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC.
[8] Derek G. Corneil,et al. Complexity of finding embeddings in a k -tree , 1987 .
[9] R. Baker. Factorization of graphs , 1975 .
[10] Marko Samer,et al. Tractable cases of the extended global cardinality constraint , 2009, Constraints.
[11] L. Lovász. The factorization of graphs. II , 1972 .
[12] Ko-Wei Lih,et al. Equitable Coloring of Graphs , 1998 .
[13] Detlef Seese,et al. Easy Problems for Tree-Decomposable Graphs , 1991, J. Algorithms.
[14] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[15] Bruno Courcelle,et al. Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[16] Ton Kloks. Treewidth, Computations and Approximations , 1994, Lecture Notes in Computer Science.
[17] Gérard Cornuéjols,et al. General factors of graphs , 1988, J. Comb. Theory, Ser. B.
[18] Yuichi Asahiro,et al. Graph classes and the complexity of the graph orientation minimizing the maximum weighted outdegree , 2008, Discret. Appl. Math..
[19] Fedor V. Fomin,et al. Equitable colorings of bounded treewidth graphs , 2005, Theor. Comput. Sci..
[20] Martin Grohe,et al. The complexity of first-order and monadic second-order logic revisited , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[21] Fedor V. Fomin,et al. Equitable Colorings of Bounded Treewidth Graphs , 2004, MFCS.
[22] Dimitrios M. Thilikos,et al. Invitation to fixed-parameter algorithms , 2007, Comput. Sci. Rev..
[23] Martin Grohe,et al. Logic, graphs, and algorithms , 2007, Logic and Automata.
[24] Jörg Flum,et al. Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.
[25] Donald J. ROSE,et al. On simple characterizations of k-trees , 1974, Discret. Math..
[26] Hans L. Bodlaender,et al. A Partial k-Arboretum of Graphs with Bounded Treewidth , 1998, Theor. Comput. Sci..