Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems.

David E. Narváez

Published in: CoRR (2017)

Keyphrases

optimization problems
problems involving
image processing
main problems
real time
data sets
sufficient conditions
practical problems