The SCEAS System
| |||||||

## Search the dblp DataBase
Vijay Chandru:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
**Constructive Negation in Definite Constraint Logic Programs.**[Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:335-336 [Conf] - Sudeshna Dasgupta, Vijay Chandru
**Minimal Unsatisfiable Sets: Classification and Bounds.**[Citation Graph (0, 0)][DBLP] ASIAN, 2004, pp:330-342 [Conf] - Vijay Chandru, Jean-Louis Lassez
**Qualitative Theorem Proving in Linear Constraints.**[Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:395-406 [Conf] - Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar
**Short-Cuts on Star, Source and Planar Unfoldings.**[Citation Graph (0, 0)][DBLP] FSTTCS, 2004, pp:174-185 [Conf] - Vijay Chandru, Abhi Dattasharma, S. Sathiya Keerthi, N. K. Sancheti, V. Vinay
**Algorithms for the Optimal Loading of Recursive Neural Nets.**[Citation Graph (0, 0)][DBLP] SODA, 1995, pp:342-349 [Conf] - Vijay Chandru
**Variable Elimination in Linear Constraints.**[Citation Graph (0, 0)][DBLP] Comput. J., 1993, v:36, n:5, pp:463-472 [Journal] - Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
**Negation as Failure as Resolution.**[Citation Graph (0, 0)][DBLP] Constraints, 1998, v:3, n:4, pp:315-329 [Journal] - Vijay Chandru, M. R. Rao
**Combinatorial Optimization: An Integer Programming Perspective.**[Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:1, pp:55-58 [Journal] - Vijay Chandru, Abhi Dattasharma, V. S. Anil Kumar
**The algorithmics of folding proteins on lattices.**[Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2003, v:127, n:1, pp:145-161 [Journal] - Vijay Chandru, Subir Kumar Ghosh, Anil Maheshwari, V. T. Rajan, Sanjeev Saluja
**NC-Algorithms for Minimum Link Path and Related Problems.**[Citation Graph (0, 0)][DBLP] J. Algorithms, 1995, v:19, n:2, pp:173-203 [Journal] - Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter
**Mathematical Programming Embeddings of Logic.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:29, n:1, pp:91-106 [Journal] - Srinath R. Naidu, Vijay Chandru
**On Synthesis of Easily Testable (k, K) Circuits.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2003, v:52, n:11, pp:1490-1494 [Journal]
Search in 0.024secs, Finished in 0.025secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |