Max Horn SAT and the minimum cut problem in directed hypergraphs
Keyword(s):
2015 ◽
Vol 575
◽
pp. 33-41
◽
Keyword(s):
2002 ◽
Vol 2
(4)
◽
pp. 199-218
◽