SAT for Upward Book Embedding: An Empirical Study. - Rustem Kakimov; Xing Tan 002 (Canadian AI, 2025)