Propositional lower bounds: Algorithms and complexity / Cadoli, Marco; Luigi, Palopoli; Francesco, Scarcello. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - 27:(1999), pp. 129-148. [10.1023/A:1018971231561]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.