Jianmin Zhang, Tiejun Li, Sikun Li. Application and analysis of unsatisfiable cores on circuits synthesis. In Seventh International Conference on Advanced Computational Intelligence, ICACI 2015, Wuyi, China, March 27-29, 2015. pages 407-410, IEEE, 2015. [doi]
Abstract is missing.