Digitala Vetenskapliga Arkivet

Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Global Constraint Catalog, 2nd Edition
RISE., Swedish ICT, SICS, Computer Systems Laboratory.ORCID-id: 0000-0003-3079-8095
2010 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

This report presents a catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.

Ort, förlag, år, upplaga, sidor
Kista, Sweden: Swedish Institute of Computer Science , 2010, 7.
Serie
SICS Technical Report, ISSN 1100-3154 ; 2010:07
Nyckelord [en]
constraint programming, global constraint, catalogue, graph, automaton, first order formula, meta-data, ontology, symmetry
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-23767OAI: oai:DiVA.org:ri-23767DiVA, id: diva2:1042844
Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2023-05-05Bibliografiskt granskad

Open Access i DiVA

fulltext(18995 kB)907 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 18995 kBChecksumma SHA-512
2ea2b9b45b1edbc1fb9e673e2ae08e9567078781d4960deaddfabe7cbb6937f6d8ae811561bd4e2f92275e6881042c0fb878656bafccf5f07ea0478c0dafc38a
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Carlsson, Mats
Av organisationen
Computer Systems Laboratory
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 907 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 551 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf