Unary Resolution: Characterizing Ptime.

Clément Aubert Marc Bagnol Thomas Seiller

Published in: FoSSaCS (2016)

Keyphrases

high resolution
data complexity
low resolution
satisfiability problem
objective function
sampling rate
xpath queries
pairwise
query evaluation
special case
consequence finding
image resolution
neural network
computational complexity
multi agent systems
social networks
genetic algorithm