Sono riportati i risultati di uno studio sperimentale nel quale si sono confrontati i comportamenti di 4 algoritmi per la 2-soddisfacibilità
Numerical Comparison of 2-satisfiability algorithms / Petreschi, R., Bruno, S.. - STAMPA. - (1987). (Joint National Meeting New Orleans 4/6 maggio).
Numerical Comparison of 2-satisfiability algorithms
PETRESCHI, Rossella;
1987
Abstract
Sono riportati i risultati di uno studio sperimentale nel quale si sono confrontati i comportamenti di 4 algoritmi per la 2-soddisfacibilità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.
