Planning and SAT

Rintanen, Jussi

Aaltodoc
→
6b Artikkelit / Articles from Research information portal
→
[article-cris] Perustieteiden korkeakoulu / SCI
→
View Item

dc.contributor	Aalto-yliopisto	fi
dc.contributor	Aalto University	en
dc.contributor.author	Rintanen, Jussi
dc.date.accessioned	2023-02-01T09:12:15Z
dc.date.available	2023-02-01T09:12:15Z
dc.date.issued	2021-05-05
dc.identifier.citation	Rintanen , J 2021 , Planning and SAT . in Handbook of Satisfiability : Second Edition . Frontiers in Artificial Intelligence and Applications , IOS Press , pp. 765-789 . https://doi.org/10.3233/FAIA201003	en
dc.identifier.isbn	9781643681603
dc.identifier.isbn	9781643681610
dc.identifier.other	PURE UUID: c7f3de67-ce99-4923-94f1-0e98d9da790c
dc.identifier.other	PURE ITEMURL: https://research.aalto.fi/en/publications/c7f3de67-ce99-4923-94f1-0e98d9da790c
dc.identifier.other	PURE LINK: http://www.scopus.com/inward/record.url?scp=85109058714&partnerID=8YFLogxK
dc.identifier.other	PURE FILEURL: https://research.aalto.fi/files/99413878/p02c19_pla.pdf
dc.identifier.uri	https://aaltodoc.aalto.fi/handle/123456789/119562
dc.format.extent	25
dc.format.extent	765-789
dc.format.mimetype	application/pdf
dc.language.iso	en	en
dc.relation.ispartofseries	Handbook of Satisfiability	en
dc.relation.ispartofseries	Frontiers in Artificial Intelligence and Applications	en
dc.rights	openAccess	en
dc.title	Planning and SAT	en
dc.type	A3 Kirjan tai muun kokoomateoksen osa	fi
dc.description.version	Peer reviewed	en
dc.contributor.department	Computer Science Professors
dc.contributor.department	Department of Computer Science	en
dc.identifier.urn	URN:NBN:fi:aalto-202302011912
dc.identifier.doi	10.3233/FAIA201003
dc.type.version	acceptedVersion