| INFORMAZIONI GENERALI |
|---|
|
Istituto: |
cnr.isti |
|
Collezione: |
cnr.csce |
|
Tipo: |
A0 International Journal |
|
Titolo: |
Partitioned list algorithms for prime implicant determination from canonical forms |
|
Lingua sommario: |
English |
|
Sommario in Inglese: |
The structure of the algorithms implementing Quine's method for prime implicant determination is analyzed, and a new class of algorithms-partitioned list algorithms-for Quine's method is derived. Such algorithms are of particular interest for actual computation because they permit l) avoiding repetitions while generating clauses, 2) representing each clause by only one binary configuration, 3) reducing memory capacity requirements, and 4) applying the basic operations by means of nonexhaustive techniques. |
|
Altra Lingua sommario: |
|
|
Sommario in altra lingua: |
|
|
URL Documento: |
|
|
DOI Documento: |
|
| AUTORI |
|---|
|
Autore/i |
Cognome: Morreale
Nome: Eugenio
Sezione/Laboratorio:
Tipo affiliazione: cnr - Affiliazione: CNR-CSCE, Pisa
|
| KEYWORDS |
|---|
|
Soggetti |
| free: Algorithms | | free: Computation | | free: Partitioned list | | free: Prime implicants | | free: Quine's method | |
|
| FONTE/DESCRIZIONE |
|---|
|
Titolo periodico: |
IEEE Transactions on Electronic Computers |
|
Volume: |
EC-16 |
|
Fascicolo: |
5 |
|
Numero articolo: |
|
|
Numero pagine: |
|
|
Da pag.-a pag.: |
611 - 620 |
|
Pubblicato da: |
IEEE |
|
Anno pubblicazione: |
1967 |
|
Numero speciale: |
|
|
A cura di: |
|
|
ISSN: |
|
|
Indicizzato da: |
|
| FILE_INFO |
|---|
|
File allegati: |
 Documento accesso libero: 1967-A0-007_0.pdf
Nome file: Lingua allegato: English
|
| PUMA_INFO |
|---|
|
Data inserimento: |
19/05/2009 |
|
Data modifica: |
19/06/2009 |
|
Codice Puma: |
/cnr.csce/1967-A0-007 |
|
Numero documento/Codice originale: |
CSCE-P-113-1967 (seconda serie) |
|
E-Mail compilatore: |
silvia.giannini@isti.cnr.it |
