Viene studiato il problema della 2-soddisfacibilità e si presenta un algoritmo on-line per la sua risoluzione. l'algoritmo lavora in tempo O(n3)
An O(n3) on line 2-satisfiability / B., Jaumard; P., Marchioro; A., Morgana; Petreschi, Rossella; B., Simeone. - STAMPA. - (1988), pp. 391-399. (Intervento presentato al convegno Convegno di ricerca Operativa ed intelligenza artificiale tenutosi a Pisa italia nel Ottobre).
An O(n3) on line 2-satisfiability
PETRESCHI, Rossella;
1988
Abstract
Viene studiato il problema della 2-soddisfacibilità e si presenta un algoritmo on-line per la sua risoluzione. l'algoritmo lavora in tempo O(n3)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.
