List of unsatisfiable cores? Is there a place I can find a list of known unsatisfiable cores for X variables [no more then 10] in CNF format?
Or is there an 'easy' way to find out, say I have 7 variables how many clauses [of the 7 variables] do I need for an unsatisfiable cores.
[I calculated 2-5 by hand, I am just trying to figure out 6+].
Thanks
Staque

The question you are asking has been dealt with in the literature, and there is even a system that does it. Here is an example: https://sun.iwu.edu/~mliffito/publications/jar_liffiton_CAMUS.pdf
