Can I read A Method To Simplify Expressions Intuition and Preliminary Experimental Results on EtoBox?

A Method To Simplify Expressions Intuition and Preliminary Experimental Results by maxdomyacoubou is a document available to read on EtoBox.

What is A Method To Simplify Expressions Intuition and Preliminary Experimental Results about?

The document presents a method for simplifying expressions within a formal theory using a special data structure that allows for the application of axioms to sets of expressions. It introduces a bottom-up algorithm for computing equivalence classes of terms and demonstrates its effectiveness in simplifying boolean expressions efficiently. The paper also discusses a goal-oriented algorithm for larger theories where optimality cannot be guaranteed, and outlines future improvements and extensions to the method

Author

maxdomyacoubou

Language

EN