On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
2005 ◽
pp. 65-80
◽
Keyword(s):
2017 ◽
Vol 35
(9-10)
◽
pp. 1888-1907
◽
2021 ◽
Vol 24
(2)
◽
pp. 1220
2018 ◽
Vol 9
(1)
◽
pp. 87-107
◽
Keyword(s):
2018 ◽
Vol 3
(1)
◽
pp. 125
Keyword(s):