"Searching for Falsified Clause in Random log{n}-CNFs is Hard for ..."

Artur Riazanov et al. (2025)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2025-08-21