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-22599
Direct link
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042164
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
Compiling and executing disjunctions of finite domain constraints
Carlson, Björn
Carlsson, Mats
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0003-3079-8095
1995 (English)
In:
Proceedings of the Twelfth International Conference on Logic Programming, 13-16 June 1995, Tokyo, Japan / [ed] L. Sterling, The MIT Press , 1995, 1, , p. 15
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
The MIT Press , 1995, 1. , p. 15
Series
MIT Press Series in Logic Programming
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22599
OAI: oai:DiVA.org:ri-22599
DiVA, id:
diva2:1042164
Conference
ICLP'95, Twelfth International Conference on Logic Programming, 13-16 June 1995, Tokyo, Japan
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2025-09-23
Bibliographically approved
Open Access in DiVA
fulltext
(182 kB)
213 downloads
File information
File name
FULLTEXT01.pdf
File size
182 kB
Checksum
SHA-512
022cb19e36127469144e4b4579d9171c5669dcea52e88860912487bc44301ce5270ac39053d56769e30bcbc4eb796a1803ec90eb5091a57cbae5b23692d3974d
Type
fulltext
Mimetype
application/pdf
fulltext
(168 kB)
59 downloads
File information
File name
FULLTEXT02.ps
File size
168 kB
Checksum
SHA-512
45c71e70c8762f8c3c3a5411979e46143ac40bbbbfc295a024bab4192f57375479f45aef03a93b0180e0fa8fe22f5a0998d51496db95d6bcfccf30148b21c236
Type
fulltext
Mimetype
application/postscript
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: 273 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: 265 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-22599
Direct link
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042164
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