propositional satisfiability
Recently Published Documents
TOTAL DOCUMENTS
83
(FIVE YEARS 13)
H-INDEX
14
(FIVE YEARS 2)
2019 ◽
Vol 19
(5-6)
◽
pp. 740-756
2019 ◽
Vol 33
◽
pp. 2346-2353
2019 ◽
Vol 33
◽
pp. 10039-10040
Keyword(s):