Conflict driven learning in a quantified Boolean Satisfiability solver
Lintao Zhang
◽
Sharad Malik
Hiroshi Yamashita
◽
Kazuyuki Aihara
◽
Hideyuki Suzuki
2012 ◽
Vol 22
◽
pp. 281-292
Sergey Vartanov
◽
Denis Sidorov
Lintao Zhang
◽
C.F. Madigan
◽
M.H. Moskewicz
◽
S. Malik
David A. Basford
◽
Jared M. Smith
◽
R. Joseph Connor
◽
Bruce J. MacLennan
◽
Jeremy Holleman
2020 ◽
Vol 84
◽
pp. 105183
◽
Hiroshi Yamashita
◽
Kazuyuki Aihara
◽
Hideyuki Suzuki
Wonhong Nam
◽
Hyunyoung Kil
◽
Dongwon Lee
2011 ◽
Vol 4
◽
pp. 2176-2185
◽
Tao Cui
◽
Franz Franchetti
2017 ◽
Vol 4
(56)
◽
pp. 107-114
A. D. Kolosov
◽
◽
V. O. Gorovoy
◽
V. V. Kondratiev
◽
◽
...
2019 ◽
Vol 26
(2)
◽
pp. 68-71
Diogo Fernandes
◽
Carla Silva
◽
Inês Dutra