Skolem Meets Bateman-Horn.

Florian Luca James Maynard Armand Noubissie Joël Ouaknine James Worrell

Published in: CoRR (2023)

Keyphrases

first order logic
np hard
propositional logic
horn clauses
horn theories
computer science
object oriented
database
machine learning
bayesian networks
hidden markov models
horn logic