Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra
暂无分享,去创建一个
[1] Rudolf Berghammer,et al. Modeling Sequences within the RelView System , 2001, J. Univers. Comput. Sci..
[2] Piotr Berman,et al. A 2-Approximation Algorithm for the Undirected Feedback Vertex Set Problem , 1999, SIAM J. Discret. Math..
[3] Jörg Desel,et al. Free choice Petri nets , 1995 .
[4] Alexander Fronk. Using relation algebra for the analysis of Petri nets in a CASE tool based approach , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[5] Rudolf Berghammer,et al. Implementation of Relational Algebra Using Binary Decision Diagrams , 2001, RelMiCS.
[6] Aram K. Kevorkian,et al. The Principal Maxmin Matrix Transversal Strategy , 1979, Math. Oper. Res..
[7] Joseph Naor,et al. Approximating Minimum Feedback Sets and Multi-Cuts in Directed Graphs , 1995, IPCO.
[8] Jörg Desel,et al. Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .
[9] Reuven Bar-Yehuda,et al. Approximation Algorithms for the Feedback Vertex Set Problem with Applications to Constraint Satisfaction and Bayesian Inference , 1998, SIAM J. Comput..
[10] M. Courvoisier,et al. A note on minimal and quasi-minimal essential sets in complex directed graphs , 1972 .
[11] Gunther Schmidt,et al. Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .
[12] W Emde. GRUNDLAGEN UND ANWENDUNGEN DER RAS-W , 1991 .
[13] Gunther Schmidt,et al. Relations and Graphs , 1993, EATCS Monographs on Theoretical Computer Science.
[14] Sundaram Seshu,et al. Linear Graphs and Electrical Networks , 1961 .
[15] Ralf Behnke,et al. RELVIEW - A System for Calculating With Relations and Relational Programming , 1998, FASE.
[16] Manuel Silva Suárez,et al. Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.