Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. - Jarkko Savela; Emilia Oikarinen; Matti Järvisalo (LPAR, 2020)