Simulating DQBF Preprocessing Techniques with Resolution Asymmetric Tautologies.

Joshua Blinkhorn

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

Keyphrases

preprocessing
preprocessing phase
high resolution
preprocessing step
post processing
consequence finding
low resolution
feature extraction
web services
multiresolution
mobile robot
conflict detection