Preverjanje tautologije z binarnimi odločitvenimi diagrami
Abstract
Preverjanje tautologije z binarnimi odločitvenimi diagrami
Keywords
No keyword data available
Data
| Language: | Slovenian |
|---|---|
| Year of publishing: | 1990 |
| Typology: | 2.11 - Undergraduate Thesis |
| Organization: | UM FERI - Faculty of Electrical Engineering and Computer Science |
| Publisher: | [s.n.] |
| UDC: | 681.3.01+591.72+510.5|.6 |
| COBISS: |
742934
|
| Views: | 1517 |
| Downloads: | 0 |
| Average score: | 0 (0 votes) |
| Metadata: |
|
Other data
| Secondary language: | English |
|---|---|
| URN: | URN:SI:UM: |
| Type (COBISS): | Undergraduate thesis |
| Pages: | VI, 167 str. |
| ID: | 8715284 |
Recommended works:
Preverjanje tautologije z binarnimi odločitvenimi diagrami
1990,
no subtitle data available
Representation of Boolean functions with ROBDDs
2000,
no subtitle data available
Implementation aspects of a BDD package supporting general decision diagrams
2016,
lecture, presented at Johannes Kepler University Linz Computer Science Building, Linz, 19. September 2016 (2 hours)
Faktorizacija naravnih števil z binarnimi kvadratnimi formami
2018,
magistrsko delo