Operational message
There are currently operational disruptions. Troubleshooting is in progress.
Please wait ...
Simple search
Advanced search
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22580
Direct link
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042145
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
A BDD-based approach to multiple level combinational logic synthesis
Carlsson, Mats
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0003-3079-8095
1992 (English)
In:
Practical Application of Prolog / [ed] Al Roth, 1992, 1
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
1992, 1.
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22580
OAI: oai:DiVA.org:ri-22580
DiVA, id:
diva2:1042145
Conference
Practical Application of Prolog Conference, 1 - 3 April 1992, London, England
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2025-09-23
Bibliographically approved
Open Access in DiVA
fulltext
(138 kB)
95 downloads
File information
File name
FULLTEXT01.pdf
File size
138 kB
Checksum
SHA-512
2bfc4208c82276b275ba061e653c3887311ab7d6a1c5b7833210b063c0dc69042c61993bce05b1d52aa06bcdc5aa2144967ce9aed00e2c560fc03c88b62b51f8
Type
fulltext
Mimetype
application/pdf
Authority records
Carlsson, Mats
Search in DiVA
By author/editor
Carlsson, Mats
By organisation
Computer Systems Laboratory
On the subject
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
Total: 95 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
urn-nbn
Altmetric score
urn-nbn
Total: 169 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22580
Direct link
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042145
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.47.0
|
WCAG
DiVA
Logotyp