1 paper · 1 filter
Huimin Fu, Yang Xu, Jun Liu +2
The Boolean Satisfiability problem (SAT) is important on artificial intelligence community and the impact of its solving on complex problems. Recently, great breakthroughs have bee…