liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Fine-Grained Complexity of Constraint Satisfaction Problems through Partial Polymorphisms: A Survey
Univ Lorraine, France.
Royal Mil Coll Canada, Canada.
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
2019 (Engelska)Ingår i: 2019 IEEE 49TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), IEEE , 2019, s. 170-175Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Constraint satisfaction problems (CSPs) are combinatorial problems with strong ties to universal algebra and clone theory. The recently proved CSP dichotomy theorem states that finite-domain CSPs are always either tractable or NP-complete. However, among the intractable cases there is a seemingly large variance in complexity, which cannot be explained by the classical algebraic approach using polymorphisms. In this contribution we will survey an alternative approach based on partial polymorphisms, which is useful for studying the fine-grained complexity of NP-complete CSPs. Moreover, we will state some challenging open problems in the research field.

Ort, förlag, år, upplaga, sidor
IEEE , 2019. s. 170-175
Serie
International Symposium on Multiple-Valued Logic, ISSN 0195-623X
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-160635DOI: 10.1109/ISMVL.2019.00037ISI: 000484992100029ISBN: 978-1-7281-0092-0 (tryckt)OAI: oai:DiVA.org:liu-160635DiVA, id: diva2:1360186
Konferens
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Tillgänglig från: 2019-10-11 Skapad: 2019-10-11 Senast uppdaterad: 2020-11-13

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Person

Lagerkvist, Victor

Sök vidare i DiVA

Av författaren/redaktören
Lagerkvist, Victor
Av organisationen
Programvara och systemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 96 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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