Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation.

Jarkko Savela, Emilia Oikarinen, Matti Jrvisalo

Browse the full LPAR paper archive.