Skip to content

An Algebraic Approach to MaxCSP.

Ilario Bonacina, Jordi Levy

VenueASAT
Year2025
ProceedingsSAT

Browse the full SAT paper archive.