Complete Boolean Satisfiability Solving Algorithms Based on Local Search
郭文生 杨国武 William N. N. Hung Xiaoyu Song
Published in Journal of computer science and technology (01.03.2013)
Published in Journal of computer science and technology (01.03.2013)
Get full text
Journal Article