Catalogo dei prodotti della ricerca

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, Rossella; Bruno, Simeone. - STAMPA. - (1987). (Intervento presentato al convegno Joint National Meeting tenutosi a New Orleans nel 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à
1987
Joint National Meeting
04 Pubblicazione in atti di convegno::04d Abstract in atti di convegno
Numerical Comparison of 2-satisfiability algorithms / Petreschi, Rossella; Bruno, Simeone. - STAMPA. - (1987). (Intervento presentato al convegno Joint National Meeting tenutosi a New Orleans nel 4/6 maggio).
04d Abstract in atti di convegno
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/407961
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact