Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation

Visa fullständig post



Permalänk

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

Titel: Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Författare: Savela, Jarkko; Oikarinen, Emilia; Järvisalo, Matti
Medarbetare: Albert, Elvira
Kovács, Laura
Upphovmannens organisation: Department of Computer Science
Helsinki Institute for Information Technology
Constraint Reasoning and Optimization research group / Matti Järvisalo
Utgivare: EasyChair Publications
Datum: 2020-05-27
Språk: eng
Sidantal: 18
Tillhör serie: LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tillhör serie: EPiC Series in Computing
ISSN: 2398-7340
DOI: https://doi.org/10.29007/k8jd
Permanenta länken (URI): http://hdl.handle.net/10138/318501
Subject: 113 Computer and information sciences
Referentgranskad: Ja
Användningsbegränsning: openAccess
Parallelpublicerad version: publishedVersion


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
Finding_Periodi ... and_Orderly_Generation.pdf 854.3Kb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post