Author:
Chen Li-Cheng,Jiang Jie-Hong R.
Publisher
Springer International Publishing
Reference25 articles.
1. Balabanov, V., Jiang, J.H.R.: Unified QBF certification and its applications. Formal Methods Syst. Des. 41, 45–65 (2012)
2. Biere, A.: PicoSAT essentials. J. Satisfiability Boolean Model. Comput. 4, 75–97 (2008)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Biere,2011
4. Lecture Notes in Computer Science;R Brayton,2010
5. Dao, A.Q., et al.: Efficient computation of eco patch functions. In: Design Automation Conference (DAC), pp. 51:1–51:6 (2018)