Skip to content

Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle.

Vsevolod Oparin

VenueASAT
Year2016
ProceedingsSAT

Browse the full SAT paper archive.