"Balanced Max 2-Sat might not be the hardest."

Per Austrin (2006)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2022-09-28