More on the DLW conjectures.

Daniele Bartoli Matteo Bonini

Published in: Finite Fields Their Appl. (2024)

Keyphrases

theorem prover
database
prior knowledge
artificial intelligence
inductive inference
decision trees
pairwise
search space
np hard