Journal on Satisfiability, Boolean Modeling and Computation
Latest Publications
TOTAL DOCUMENTS
126
(FIVE YEARS 14)
H-INDEX
16
(FIVE YEARS 2)
Published By IOS Press
1574-0617
2020 ◽
Vol 12
(1)
◽
pp. 17-22
2020 ◽
Vol 12
(1)
◽
pp. 1-15
2019 ◽
Vol 11
(1)
◽
pp. 261-272
2019 ◽
Vol 11
(1)
◽
pp. 133-154
2019 ◽
Vol 11
(1)
◽
pp. 3-52
Keyword(s):
2019 ◽
Vol 11
(1)
◽
pp. 221-259
◽
2019 ◽
Vol 11
(1)
◽
pp. 155-210
2019 ◽
Vol 11
(1)
◽
pp. 1-1
2019 ◽
Vol 11
(1)
◽
pp. 53-64
◽
2019 ◽
Vol 11
(1)
◽
pp. 65-72