Login / Signup

Automating OBDD proofs is NP-hard.

Dmitry ItsyksonArtur Riazanov
Published in: MFCS (2022)
Keyphrases