liu.se
Search for publications in DiVA
vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-198697
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1806677
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annet format
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
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
html
text
asciidoc
rtf
Skapa
Stäng
Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases
Gnad, Daniel
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.
ORCID-id:
0000-0001-7434-2669
Sievers, Silvan
University of Basel.
Torralba, Alvaro
Aalborg University.
2023 (engelsk)
Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
2023.
Emneord [en]
WASP
HSV kategori
Identifikatorer
URN:
urn:nbn:se:liu:diva-198697
OAI: oai:DiVA.org:liu-198697
DiVA, id:
diva2:1806677
Konferanse
ICAPS
Forskningsfinansiär
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Tilgjengelig fra:
2023-10-23
Laget:
2023-10-23
Sist oppdatert:
2023-10-23
Open Access i DiVA
Fulltekst mangler i DiVA
Andre lenker
https://ojs.aaai.org/index.php/ICAPS/article/view/27188/26961
Person
Gnad, Daniel
Søk i DiVA
Av forfatter/redaktør
Gnad, Daniel
Av organisasjonen
Om emnet
Søk utenfor DiVA
Google
Google Scholar
urn-nbn
Altmetric
urn-nbn
Totalt: 138 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-198697
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1806677
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annet format
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
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
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
Om tillgänglighet
|
DiVA portal
|
DiVA Logga in
|
Kontakta oss
|
LiU universitetbibliotek
|
SwePub
|
Uppsök
DiVA
Logotyp