Ramjee P. Swaminathan

Publication Activity (10 Years)

Years Active: 1995-2003
Publications (10 Years): 0

Publications

John V. Franco, Ramjee P. Swaminathan
On good algorithms for determining unsatisfiability of propositional formulas. Discret. Appl. Math. 130 (2) (2003)
Fred S. Annexstein, Kenneth A. Berman, Tsan-sheng Hsu, Ramjee P. Swaminathan
A multi-tree routing scheme using acyclic orientations. Theor. Comput. Sci. 240 (2) (2000)
John V. Franco, Judy Goldsmith, John S. Schlipf, Ewald Speckenmeyer, Ramjee P. Swaminathan
An Algorithm for the Class of Pure Implicational Formulas. Discret. Appl. Math. (1999)
Fred S. Annexstein, Ramjee P. Swaminathan
On Testing Consecutive-ones Property in Parallel. Discret. Appl. Math. 88 (1-3) (1998)
Fred S. Annexstein, Kenneth A. Berman, Ramjee P. Swaminathan
A Multi-Tree Generating Routing Scheme Using Acyclic Orientations. COCOON (1997)
Fred S. Annexstein, Kenneth A. Berman, Ramjee P. Swaminathan
On Computing Nearly Optimal Multi-Tree Paths and s, t-Numberings. SIROCCO (1997)
John V. Franco, Ramjee P. Swaminathan
Average Case Results for Satisfiability Algorithms Under the Random-Clause-Width Model. Ann. Math. Artif. Intell. 20 (1-4) (1997)
Ramjee P. Swaminathan, Donald K. Wagner
The Arborescence-realization Problem. Discret. Appl. Math. 59 (3) (1995)
Fred S. Annexstein, Ramjee P. Swaminathan
On Testing Consecutive-Ones Property in Parallel. SPAA (1995)
Ramjee P. Swaminathan, D. Giriraj, D. K. Bhatia
The Pagenumber of the Class of Bandwidth-k Graphs is k-1. Inf. Process. Lett. 55 (2) (1995)
John S. Schlipf, Fred S. Annexstein, John V. Franco, Ramjee P. Swaminathan
On Finding Solutions for Extended Horn Formulas. Inf. Process. Lett. 54 (3) (1995)