3 ms·
Do you have an example of a real-world package dependency situation that generates a truly difficult SAT instance?
by cwzwarich 7y ago
Do you have an example of a real-world package dependency situation that generates a truly difficult SAT instance?