 | 2002 |
|---|
| 10 |       | John N. Hooker,
G. Rago,
V. Chandru,
A. Shrivastava:
Partial Instantiation Methods for Inference in First-Order Logic.
J. Autom. Reasoning 28(5): 371-396 (2002) |
| 2000 |
|---|
| 9 | | V. Chandru,
N. Mahesh,
M. Manivannan,
Swami Manohar:
Volume Sculpting and Keyframe Animation System.
CA 2000: 134-139 |
| 8 | | B. Arun,
V. Chandru,
A. D. Ganguly,
Swami Manohar:
Molecular Dynamics Visualization with XML and VRML.
Computer Graphics International 2000: 335-342 |
| 1997 |
|---|
| 7 | | Joy Bhadury,
V. Chandru,
A. Maheshwari,
Ramaswamy Chandrasekaran:
Art Gallery Problems for Convex Nested Polygons.
INFORMS Journal on Computing 9(1): 100-110 (1997) |
| 1992 |
|---|
| 6 | | V. Chandru,
V. T. Rajan,
R. Swaminathan:
Monotone Pieces of Chains.
INFORMS Journal on Computing 4(4): 439-446 (1992) |
| 5 | | V. Chandru,
John N. Hooker:
Detecting Embedded Horn Structure in Propositional Logic.
Inf. Process. Lett. 42(2): 109-111 (1992) |
| 1991 |
|---|
| 4 | | V. Chandru,
R. Venkataraman:
Circular Hulls and Orbiforms of Simple Polygons.
SODA 1991: 433-440 |
| 3 | | V. Chandru,
John N. Hooker:
Extended Horn Sets In Propositional Logic.
J. ACM 38(1): 205-221 (1991) |
| 1990 |
|---|
| 2 | | V. Vinay,
V. Chandru:
The Expressibility of Nondeterministic Auxiliary Stack Automata and its Relation to Treesize Bounded Alternating Auxiliary Pushdown Automata.
FSTTCS 1990: 104-114 |
| 1 | | V. Chandru,
Collette R. Coullard,
Peter L. Hammer,
M. Montanuz,
Xiaorong Sun:
On Renamable Horn and Generalized Horn Functions.
Ann. Math. Artif. Intell. 1: 33-47 (1990) |
Data released under the ODC-BY 1.0 license — See also our legal information page