An Approximate Skolem Function Counter.

Arijit Shaw Brendan Juba Kuldeep S. Meel

Published in: CoRR (2023)

Keyphrases

piecewise linear
first order logic
data sets
case study
database
machine learning
computer vision
web services
three dimensional
data structure
lower bound
special case