Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond.

Jan Dreier Daniel Mock Peter Rossmanith

Published in: ESA (2023)

Keyphrases

first order logic
structural properties
higher order
desirable properties
real time
data sets
genetic algorithm
knowledge base
case study
multiresolution
rough sets
algebraic structures