Planning and SAT

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.authorRintanen, Jussi
dc.contributor.departmentComputer Science Professors
dc.contributor.departmentDepartment of Computer Scienceen
dc.date.accessioned2023-02-01T09:12:15Z
dc.date.available2023-02-01T09:12:15Z
dc.date.issued2021-05-05
dc.description.versionPeer revieweden
dc.format.extent25
dc.format.extent765-789
dc.format.mimetypeapplication/pdf
dc.identifier.citationRintanen , 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/FAIA201003en
dc.identifier.doi10.3233/FAIA201003
dc.identifier.isbn9781643681603
dc.identifier.isbn9781643681610
dc.identifier.otherPURE UUID: c7f3de67-ce99-4923-94f1-0e98d9da790c
dc.identifier.otherPURE ITEMURL: https://research.aalto.fi/en/publications/c7f3de67-ce99-4923-94f1-0e98d9da790c
dc.identifier.otherPURE LINK: http://www.scopus.com/inward/record.url?scp=85109058714&partnerID=8YFLogxK
dc.identifier.otherPURE FILEURL: https://research.aalto.fi/files/99413878/p02c19_pla.pdf
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/119562
dc.identifier.urnURN:NBN:fi:aalto-202302011912
dc.language.isoenen
dc.relation.ispartofseriesHandbook of Satisfiabilityen
dc.relation.ispartofseriesFrontiers in Artificial Intelligence and Applicationsen
dc.rightsopenAccessen
dc.titlePlanning and SATen
dc.typeA3 Kirjan tai muun kokoomateoksen osafi
dc.type.versionacceptedVersion
Files