cs-conference-ranking.org Search 971 venues

General Resolution of Tseitin Formulas is Hard.

Jean-Denis Fouks

Year1991

ProceedingsICALP

DBLP recordconf/icalp/Fouks91 ↗

Browse the full ICALP paper archive.