Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Show simple item record

dc.contributor.author Savela, Jarkko
dc.contributor.author Oikarinen, Emilia
dc.contributor.author Järvisalo, Matti
dc.contributor.editor Albert, Elvira
dc.contributor.editor Kovács, Laura
dc.date.accessioned 2020-08-24T08:25:05Z
dc.date.available 2020-08-24T08:25:05Z
dc.date.issued 2020-05-27
dc.identifier.citation Savela , J , Oikarinen , E & Järvisalo , M 2020 , Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation . in E Albert & L Kovács (eds) , LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning . EPiC Series in Computing , vol. 73 , EasyChair Publications , pp. 465-482 , LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning , Alicante , Spain , 22/05/2020 . https://doi.org/10.29007/k8jd
dc.identifier.citation conference
dc.identifier.other PURE: 137829422
dc.identifier.other PURE UUID: 33967f2e-b94f-41ee-b0f1-13669d5493a5
dc.identifier.other ORCID: /0000-0002-9623-6282/work/79517251
dc.identifier.other ORCID: /0000-0003-2572-063X/work/79518200
dc.identifier.uri http://hdl.handle.net/10138/318501
dc.format.extent 18
dc.language.iso eng
dc.publisher EasyChair Publications
dc.relation.ispartof LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
dc.relation.ispartofseries EPiC Series in Computing
dc.rights.uri info:eu-repo/semantics/openAccess
dc.subject 113 Computer and information sciences
dc.title Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation en
dc.type Conference contribution
dc.contributor.organization Department of Computer Science
dc.contributor.organization Helsinki Institute for Information Technology
dc.contributor.organization Constraint Reasoning and Optimization research group / Matti Järvisalo
dc.description.reviewstatus Peer reviewed
dc.relation.doi https://doi.org/10.29007/k8jd
dc.relation.issn 2398-7340
dc.rights.accesslevel openAccess
dc.type.version publishedVersion

Files in this item

Total number of downloads: Loading...

Files Size Format View
Finding_Periodi ... and_Orderly_Generation.pdf 854.3Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record