iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/tc/YinHHSG12.xml
Liangze Yin Fei He 0001 William N. N. Hung Xiaoyu Song Ming Gu 0001 Maxterm Covering for Satisfiability. 420-426 2012 61 IEEE Trans. Computers 3 https://doi.org/10.1109/TC.2010.270 http://doi.ieeecomputersociety.org/10.1109/TC.2010.270 db/journals/tc/tc61.html#YinHHSG12