QRAT Polynomially Simulates Merge Resolution.

Sravanthi Chede Anil Shukla

Published in: CoRR (2021)

Keyphrases

np complete
high resolution
machine learning
search algorithm
sampling rate
conflict detection
databases
evolutionary algorithm
low resolution
sample complexity
consequence finding