Circuit-Width Based Heuristic for Boolean Reasoning
Keyword(s):
Keyword(s):
1991 ◽
Vol 10
(8)
◽
pp. 1059-1066
◽