ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 13.

Book Chapter

Chandru, Vijay and Rao, Rammohan M and Swaminathan, Ganesh (2004) Protein folding on lattices: an integer programming approach. [Book Chapter]

Chandru, Vijay and Hariharan, Ramesh and Krishnakumar, Narasimha M (2004) Short-Cuts on Star, Source and Planar Unfoldings. [Book Chapter]

Conference Paper

Chandru, Vijay and Dasgupta, Sudeshna (2005) Minimal unsatisfiable sets: Classification and bounds. In: 9th Asian Computing Science Conference, DEC 08-10, 2004, Chiang Mai, THAILAND.

Journal Article

Chandru, Vijay and Lassez, Jean-Louis (2004) Qualitative theorem proving in linear constraints. In: Verification: Theory And Practice - Essays Dedicated To Zhoar Manna On The Occasion Of His 64th Birthday Book Series: Lecture Notes In Computer Science, 2772 . pp. 398-399.

Naidu, Srinath R and Chandru, Vijay (2003) On synthesis of easily testable (k, K) circuits. In: IEEE Transactions on Computers, 52 (11). pp. 1490-1494.

Chandru, Vijay and DattaSharma, Abhi and Kumar, Anil VS (2003) The algorithmics of folding proteins on lattices. In: Discrete Applied Mathematics, 127 (1). pp. 145-161.

Balachandra, P and Chandru, Vijay (2003) Supply demand matching in resource constrained electricity systems. In: Energy Conversion and Management, 44 (3). pp. 411-437.

Borkar, Vivek S and Chandru, Vijay and Mitter, Sanjoy K (2002) Mathematical Programming Embeddings of Logic. In: Journal of Automated Reasoning, 29 (1). pp. 91-106.

Chandru, Vijay and Roy, Suman and Subrahmanyam, Ramesh (1998) Negation as Failure as Resolution. In: Constraints, 3 (4). pp. 315-329.

Chandru, Vijay and Rao, MR (1996) Combinatorial optimization: An integer programming perspective. In: ACM Computing Surveys, 28 (1). pp. 55-58.

Chandru, Vijay and Manohar, Swami and Prakash, Edmond C (1995) Voxel- Based Modeling for layered Manufacturing. In: IEEE Computer Graphics and Applications, 15 (6). pp. 42-47.

Chandru, Vijay and Ghosh, Subir Kumar and Maheshwari, Anil and Rajan, VT and Saluja, Sanjeev (1995) $_N$$_C-$ Algorithms for Minimum Link Path and Related Problems. In: Journal of Algorithms, 19 (2). pp. 173-203.

Editorials/Short Communications

Chandru, Vijay and Lassez, Jean-Louis (2003) Qualitative theorem proving in linear constraints. In: Lecture Notes in Computer Science, 2772 . pp. 395-406.

This list was generated on Fri Aug 1 22:21:00 2014 IST.