Amanote Research

Amanote Research

    RegisterSign In

A Polynomial-Time Algorithm for Global Value Numbering

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-27864-1_17
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2004

Authors
Sumit GulwaniGeorge C. Necula
Publisher

Springer Berlin Heidelberg


Related search

A Polynomial Time Algorithm for Fault Diagnosability

1984English

A Polynomial-Time Parsing Algorithm for TT-MCTAG

2009English

A Polynomial Time Algorithm for Spatio-Temporal Security Games

2017English

A Polynomial Time Interior Point Algorithm for Minimum Cost Flow Problems

Journal of the Operations Research Society of Japan
Management ScienceDecision SciencesOperations Research
1990English

A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Polynomial-Time-Delay and Polynomial-Space Algorithm for Enumeration Problems in Multi-Criteria Optimization

English

A Polynomial-Time Algorithm for the Matching of Crossing Contact-Map Patterns

IEEE/ACM Transactions on Computational Biology and Bioinformatics
BiotechnologyApplied MathematicsGenetics
2004English

A Polynomial-Time Algorithm for the Paired-Domination Problem on Permutation Graphs

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

A Random Polynomial Time Algorithm for Approximating the Volume of Convex Bodies

1989English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy