liu.se
Search for publications in DiVA
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
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:liu:diva-198698
Direct link
http://liu.diva-portal.org/smash/record.jsf?pid=diva2:1806680
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
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
Planning over Integers: Compilations and Undecidability
Gnad, Daniel
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
ORCID iD:
0000-0001-7434-2669
Helmert, Malte
University of Basel, Switzerland.
ORCID iD:
0009-0008-8462-350X
Jonsson, Peter
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
ORCID iD:
0000-0002-5288-3330
Shleyfman, Alexander
Bar-Ilan University, Israel.
2023 (English)
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2023.
Keywords [en]
WASP
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:liu:diva-198698
OAI: oai:DiVA.org:liu-198698
DiVA, id:
diva2:1806680
Conference
ICAPS
Available from:
2023-10-23
Created:
2023-10-23
Last updated:
2023-10-23
Open Access in DiVA
No full text in DiVA
Other links
https://ojs.aaai.org/index.php/ICAPS/article/view/27189/26962
Authority records
Gnad, Daniel
Jonsson, Peter
Search in DiVA
By author/editor
Gnad, Daniel
Helmert, Malte
Jonsson, Peter
By organisation
Artificial Intelligence and Integrated Computer Systems
Faculty of Science & Engineering
Software and Systems
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 86 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:liu:diva-198698
Direct link
http://liu.diva-portal.org/smash/record.jsf?pid=diva2:1806680
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
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.43.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök
DiVA
Logotyp