Uniform Interpolants in EUF: Algorithms using DAG-representations.
Silvio GhilardiAlessandro GianolaDeepak KapurPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- computationally efficient
- recently developed
- orders of magnitude
- optimization problems
- computational cost
- graph theory
- times faster
- significant improvement
- data structure
- multiscale
- multi objective
- computational complexity
- data mining techniques
- theoretical analysis
- learning algorithm
- genetic algorithm
- databases
- real time