Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures.

Miguel Campercholi Mauricio Tellechea Pablo Ventura

Published in: CoRR (2023)

Keyphrases

algebraic structures
orders of magnitude
databases
learning algorithm
machine learning
artificial intelligence