Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Show full item record



Permalink

http://hdl.handle.net/10138/318501

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

Title: Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Author: Savela, Jarkko; Oikarinen, Emilia; Järvisalo, Matti
Other contributor: Albert, Elvira
Kovács, Laura
Contributor organization: Department of Computer Science
Helsinki Institute for Information Technology
Constraint Reasoning and Optimization research group / Matti Järvisalo
Publisher: EasyChair Publications
Date: 2020-05-27
Language: eng
Number of pages: 18
Belongs to series: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Belongs to series: EPiC Series in Computing
ISSN: 2398-7340
DOI: https://doi.org/10.29007/k8jd
URI: http://hdl.handle.net/10138/318501
Subject: 113 Computer and information sciences
Peer reviewed: Yes
Usage restriction: openAccess
Self-archived 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 full item record