Login / Signup
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability.
Hans Kleine Büning
Piotr J. Wojciechowski
K. Subramani
Published in:
Math. Struct. Comput. Sci. (2020)
Keyphrases
</>
high resolution
low resolution
databases
conflict detection
database
real time
decision making
decision trees
image sequences
higher resolution