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-22642
Direct link
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042207
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
An Open-Ended finite domain constraint solver
Carlsson, Mats
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0003-3079-8095
Ottosson, Greger
Carlson, Björn
1997 (English)
In:
Programming Languages: Implementations, Logics, and Programming / [ed] H. Glaser, P. Hartel and H. Kuchen, Springer-Verlag , 1997, 1, Vol. 1292, p. 191-206
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer-Verlag , 1997, 1. Vol. 1292, p. 191-206
Series
LNCS ; 1292
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22642
OAI: oai:DiVA.org:ri-22642
DiVA, id:
diva2:1042207
Conference
Programming Languages: Implementations, Logics, and Programming, 9th International Symposium, PLILP'97, 3-5 Sept 1997, Southampton, UK
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2025-09-23
Bibliographically approved
Open Access in DiVA
fulltext
(235 kB)
560 downloads
File information
File name
FULLTEXT01.pdf
File size
235 kB
Checksum
SHA-512
ddc1644248db9bce2684f7bdf9ad224cdd4981cc77b0b634c624047e5da59c410733ea7e4a74341d1bc699ddaf74b3056aad2496de1f990e0b36cbcabfecbc4e
Type
fulltext
Mimetype
application/pdf
fulltext
(214 kB)
244 downloads
File information
File name
FULLTEXT02.ps
File size
214 kB
Checksum
SHA-512
9d6b1b4d3bf74904932a85a9bc7efa9b785c7de81e9217525135aa831fcd5bb5e65b7b8f76b930f71f6ae63a2d90a44b3228c2a6700be0bc4971d2e7ec5e9155
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: 804 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: 211 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-22642
Direct link
https://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042207
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