The following pages link to Vijay Chandru (Q1277300):
Displaying 16 items.
- Negation as failure as resolution (Q1277302) (← links)
- The algorithmics of folding proteins on lattices. (Q1868718) (← links)
- Mathematical programming embeddings of logic (Q1869615) (← links)
- A linear programming primer: from Fourier to Karmarkar (Q2177789) (← links)
- (Q3100582) (← links)
- Variable Elimination in Linear Constraints (Q3140557) (← links)
- (Q3359753) (← links)
- (Q4352218) (← links)
- (Q4546256) (← links)
- Hulls and Efficient Sets for the Rectilinear Norm (Q4835450) (← links)
- -Algorithms for Minimum Link Path and Related Problems (Q4845848) (← links)
- (Q4886065) (← links)
- Verification: Theory and Practice (Q5305651) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463945) (← links)
- (Q5465117) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465851) (← links)
