SAT for Upward Book Embedding: An Empirical Study.

Rustem Kakimov, Xing Tan

Browse the full AI paper archive.