Simplified and Improved Separations Between Regular and General Resolution by Lifting.

Marc Vinyals Jan Elffers Jan Johannsen Jakob Nordström

Published in: SAT (2020)

Keyphrases

special case
wavelet transform
closely related
high resolution
image compression
database
real world
multi agent systems
expert systems
evolutionary algorithm
hidden markov models
logic programs