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
Editor: Albert, Elvira; Kovács, Laura
Contributor: University of Helsinki, Department of Computer Science
University of Helsinki, Department of Computer Science
University of Helsinki, Department of Computer Science
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
URI: http://hdl.handle.net/10138/318501
Subject: 113 Computer and information sciences
Rights:


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