Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Emilia Oikarinen
Publications
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation
Jarkko Savela
,
Emilia Oikarinen
and
Matti Järvisalo
In
:
LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Keyphrases
Boolean satisfiability
,
computer mathematics
,
Gromov's subgroup conjecture
,
orderly generation
.
Copyright © 2012-2024 easychair.org. All rights reserved.