Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
2009 ◽
pp. 287-303
◽
Keyword(s):
2010 ◽
Vol 49
(3)
◽
pp. 03CD03
◽
Keyword(s):
Keyword(s):
Keyword(s):
2013 ◽
Vol 11
(2)
◽
pp. 020607-20609
◽
Keyword(s):
Keyword(s):
1994 ◽
Vol 54
(3)
◽
pp. 610-627
◽
Keyword(s):