A Preliminary Investigation of Satisfiability Problems Not Harder than 1-in-3-SAT

Lagerkvist, Victor; Roy, Biman

liu.seSearch for publications in DiVA

Enkelt søk

Avansert søk -
Forskningspublikasjoner Avansert søk -
Studentoppgaver Statistikk

English Svenska Norsk

Endre søk

Referera ExporteraLink to record

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-171441

Direct link

http://liu.diva-portal.org/smash/record.jsf?pid=diva2:1501675

Referera

Referensformat

apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annet format

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk

Fler språk

Utmatningsformat

html
text
asciidoc
rtf

A Preliminary Investigation of Satisfiability Problems Not Harder than 1-in-3-SAT

Lagerkvist, Victor

Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.

Roy, Biman

Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.

2016 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)

sted, utgiver, år, opplag, sider

2016.

HSV kategori

Identifikatorer

URN: urn:nbn:se:liu:diva-171441OAI: oai:DiVA.org:liu-171441DiVA, id: diva2:1501675

Konferanse

Mathematical Foundations of Computer Science

Tilgjengelig fra: 2020-11-17 Laget: 2020-11-17 Sist oppdatert: 2021-09-21

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør

Lagerkvist, Victor Roy, Biman

Av organisasjonen

Om emnet

Søk utenfor DiVA

Google Google Scholar

urn-nbn

Totalt: 27 treff