3 ms·
To add to this for the author and other readers: SAT restricted to an individual instance is always constant time.
by ccppurcell 3y ago
To add to this for the author and other readers: SAT restricted to an individual instance is always constant time.