Computing #2SAT and #2UNSAT by Binary Patterns.

Guillermo De Ita Luna José Raymundo Marcial-Romero

Published in: MCPR (2012)

Keyphrases

binary patterns
sat solvers
binary images
face recognition
orders of magnitude
local binary pattern
search space
feature space
motion estimation
spatial information
high frequency
constraint satisfaction
search strategies
video copy detection