Pages that link to "Item:Q1949746"
From MaRDI portal
The following pages link to On the exact complexity of evaluating quantified \(k\)-\textsc{cnf} (Q1949746):
Displayed 2 items.
The following pages link to On the exact complexity of evaluating quantified \(k\)-\textsc{cnf} (Q1949746):
Displayed 2 items.