Search Results for author: Ou Wei

Found 1 papers, 0 papers with code

CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae

no code implementations7 Jun 2019 Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei

The state-of-the-art approaches generate all primes along with a prime cover constructed by prime implicates using dual rail encoding.

Cannot find the paper you are looking for? You can Submit a new open access paper.