Searching for "On Algebraic Simplification." – sorted by Relevance.
332 documents found, showing 1 through 10.
Next 10 →
-
Essays in Algebraic Simplification
- … Massachusetts ns:tue of Technology UNCLASSIFIED Project C z. o.ou. Essays on Algebraic Simplification 4. OE…
- Cited by 2 (0 self) – Add To MetaCart
-
Algebraic Simplification: A Guide for the Perplexed
- …Algebraic simplification is examined first from the point of view of a user who needs…
- Add To MetaCart
-
Algebraic Simplification Techniques For Propositional Satisfiability
- …UNIVERSIDADE T ECNICA DE LISBOA INSTITUTO SUPERIOR T ECNICO Algebraic Simplication Techniques…
- Add To MetaCart
-
Algebraic Simplification Techniques for Propositional Satisfiability
- …Algebraic Simplication Techniques for Propositional Satisability Jo~ao Marques-Silva Department…
- Cited by 16 (3 self) – Add To MetaCart
-
M.: Algebraic simplification of genetic programs during evolution
- … of Mathematics, Statistics and Computer Science Computer Science Algebraic Simplification of Genetic Programs…
- Cited by 2 (0 self) – Add To MetaCart
-
Algebraic simplification of gp programs during evolution
- …Algebraic Simplification of GP Programs During Evolution Phillip Wong 1 1 School of Maths, Stats…
- Cited by 4 (1 self) – Add To MetaCart
-
• Basic Block – Algebraic simplification – Copy propagation
- … = 3 and i = 1 etc. Back Substitution • Basic Block – Algebraic simplification – Copy propagation…
- Add To MetaCart
-
Decreasing the nesting depth of expressions involving square roots
- … to describe new algorithms that accomplish such denesting Algebraic Simplification and Denesting Algebraic…
- Cited by 4 (0 self) – Add To MetaCart
-
The Use of Equality in Deduction and Knowledge Representation
- … special case of this substitution process. Special purpose algebraic simplification procedures…
- Cited by 1 (0 self) – Add To MetaCart
-
Certification of compiler optimizations using Kleene algebra with tests
- …Certi cation of Compiler Optimizations using Kleene Algebra with Tests Dexter Kozen 1 and Maria…
- Cited by 26 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
