Mathematical Programming Embeddings of Logic (2008)
Vivek S Borkar, Vijay Chandru, Sanjoy K Mitter
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative and this approach...
A Partial Instantiation based First Order Theorem Prover (2007)
Vijay Chandru, John Hooker, Anjul Shrivastava, Gabriela Rago
Satisfiability algorithms for propositional logic have improved enormously in recent years. This increases the attractiveness of satisfiability methods for first order logic that reduce the problem...
Short-Cuts on Star, Source and Planar Unfoldings (2004)
Chandru, Vijay, Hariharan, Ramesh, Krishnakumar, Narasimha M
When studying a 3D convex polyhedron, it is often easier to cut it open and flatten in on the plane. There are several ways to perform this unfolding. Standard unfoldings which have been used in...
Protein folding on lattices: an integer programming approach. (2004)
Chandru, Vijay, Rao, Rammohan M, Swaminathan, Ganesh
The Sharpest Cut is written in honor of Manfred Padberg, who has made fundamental contributions to both the theoretical and computational sides of integer programming and combinatorial optimization....
Short-Cuts on Star, Source and Planar Unfoldings (2004)
Chandru, Vijay, Hariharan, Ramesh, Krishnakumar, Narasimha M
When studying a 3D convex polyhedron, it is often easier to cut it open and flatten in on the plane. There are several ways to perform this unfolding. Standard unfoldings which have been used in...
Protein folding on lattices: an integer programming approach. (2004)
Chandru, Vijay, Rao, Rammohan M, Swaminathan, Ganesh
The Sharpest Cut is written in honor of Manfred Padberg, who has made fundamental contributions to both the theoretical and computational sides of integer programming and combinatorial optimization....
The algorithmics of folding proteins on lattices (2003)
Chandru, Vijay, DattaSharma, Abhi, Kumar, Anil VS
It should be possible to predict the fold of a protein into its native conformation, once we are given the sequence of the constituent amino acids. This is known as the protein structure prediction...
Supply demand matching in resource constrained electricity systems (2003)
Balachandra, P, Chandru, Vijay
This paper describes an integrated mathematical modeling approach to minimize the social cost of dynamically matching electricity supply with demand in the context of resource constrained electricity...
Supply demand matching in resource constrained electricity systems (2003)
Balachandra, P, Chandru, Vijay
This paper describes an integrated mathematical modeling approach to minimize the social cost of dynamically matching electricity supply with demand in the context of resource constrained electricity...
The algorithmics of folding proteins on lattices (2003)
Chandru, Vijay, DattaSharma, Abhi, Kumar, Anil VS
It should be possible to predict the fold of a protein into its native conformation, once we are given the sequence of the constituent amino acids. This is known as the protein structure prediction...
Mathematical Programming Embeddings of Logic (2002)
Borkar, Vivek S, Chandru, Vijay, Mitter, Sanjoy K
Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative, and this approach has...
Mathematical Programming Embeddings of Logic (2002)
Borkar, Vivek S, Chandru, Vijay, Mitter, Sanjoy K
Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative, and this approach has...
Qualitative Theorem Proving in Linear Constraints (2000)
Vijay Chandru, Catherine Lassez, Jean-louis Lassez
We know, from the classical work of Tarski on real closed fields, that elimination is, in principle, a fundamental engine for mechanized deduction. But, in practice, the high complexity of...
Negation as Failure as Resolution (1998)
Chandru, Vijay, Roy, Suman, Subrahmanyam, Ramesh
Providing a clean procedural semantics of the Negation As Failure rule in Logic Programming has been an open problem for some time now. This rule has been treated as a technique in nonmonotonic...
Negation as Failure as Resolution (1998)
Chandru, Vijay, Roy, Suman, Subrahmanyam, Ramesh
Providing a clean procedural semantics of the Negation As Failure rule in Logic Programming has been an open problem for some time now. This rule has been treated as a technique in nonmonotonic...
Integer programming is an expressive framework for modeling and solving discrete optimization problems that arise in a variety of contexts in the engineering sciences. Integer programming...
Vijay Chandru, M.J. Atallah, M. R. Rao
Linear programming has been a fundamental topic in the development of the computational sciences. The subject has its origins in the early work of L.B.J. Fourier on solving systems of linear...
Mathematical Programming Embeddings of Logic (1996)
Borkar V. S, Chandru V, Micciancio D, Mitter S. K, Vivek S. Borkar, Vijay Chandru, ...
Serious studies on spatial embeddings of logic were initiated by Robert Jeroslow (cf. [16]) a lit-
Voxel- Based Modeling for layered Manufacturing (1995)
Chandru, Vijay, Manohar, Swami, Prakash, Edmond C
Layered manufacturing (LM) technologies have revolutionized the prototyping of complex geometric designs, but still employ traditional CAD tools. A voxel-based approach is under development in a...
$_N$$_C-$ Algorithms for Minimum Link Path and Related Problems (1995)
Chandru, Vijay, Ghosh, Subir Kumar, Maheshwari, Anil, Rajan, VT, Saluja, Sanjeev
The link metric, defined on a constrained region R of the plane, sets the distance between a pair of points in R to equal the minimum number of line segments or links that are needed to construct a...
$_N$$_C-$ Algorithms for Minimum Link Path and Related Problems (1995)
Chandru, Vijay, Ghosh, Subir Kumar, Maheshwari, Anil, Rajan, VT, Saluja, Sanjeev
The link metric, defined on a constrained region R of the plane, sets the distance between a pair of points in R to equal the minimum number of line segments or links that are needed to construct a...
Voxel- Based Modeling for layered Manufacturing (1995)
Chandru, Vijay, Manohar, Swami, Prakash, Edmond C
Layered manufacturing (LM) technologies have revolutionized the prototyping of complex geometric designs, but still employ traditional CAD tools. A voxel-based approach is under development in a...
Non-supply of electricity in resource constrained electricity systems
Shortages in the supply of electricity in resource constrained electricity systems of developing nations is a poorly documented but commonly observed phenomena. The literature on electricity systems...
Non-supply of electricity in resource constrained electricity systems
Shortages in the supply of electricity in resource constrained electricity systems of developing nations is a poorly documented but commonly observed phenomena. The literature on electricity systems...