Miyuki Koshimura, Ken Satoh. A Simple yet Efficient MCSes Enumeration with SAT Oracles. In Ngoc Thanh Nguyen, Kietikul Jearanaitanakij, Ali Selamat, Bogdan Trawinski, Suphamit Chittayasothorn, editors, Intelligent Information and Database Systems - 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part I. Volume 12033 of Lecture Notes in Computer Science, pages 191-201, Springer, 2020. [doi]
Abstract is missing.