QBF Merge Resolution is powerful but unnatural.

Meena Mahajan Gaurav Sood

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

image sequences
temporal resolution
low resolution
machine learning
database
high level
high resolution
information retrieval
search engine
information systems
expert systems
consequence finding