Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Näytä kaikki kuvailutiedot



Pysyväisosoite

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

Lähdeviite

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

Julkaisun nimi: Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Tekijä: Savela, Jarkko; Oikarinen, Emilia; Järvisalo, Matti
Muu tekijä: Albert, Elvira
Kovács, Laura
Tekijän organisaatio: Department of Computer Science
Helsinki Institute for Information Technology
Constraint Reasoning and Optimization research group / Matti Järvisalo
Julkaisija: EasyChair Publications
Päiväys: 2020-05-27
Kieli: eng
Sivumäärä: 18
Kuuluu julkaisusarjaan: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Kuuluu julkaisusarjaan: EPiC Series in Computing
ISSN: 2398-7340
DOI-tunniste: https://doi.org/10.29007/k8jd
URI: http://hdl.handle.net/10138/318501
Avainsanat: 113 Computer and information sciences
Vertaisarvioitu: Kyllä
Pääsyrajoitteet: openAccess
Rinnakkaistallennettu versio: publishedVersion


Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t) Koko Formaatti Näytä
Finding_Periodi ... and_Orderly_Generation.pdf 854.3KB PDF Avaa tiedosto

Viite kuuluu kokoelmiin:

Näytä kaikki kuvailutiedot