Collaborated with:
A.Kolokolova
V.Ganesh
Talks about:
complex
(1)
solver
(1)
proof
(1)
smt
(1)
Person:
Robert Robere
DBLP: Robere:Robert
Contributed to:
2018
Wrote 1 papers:
CAV-2018-RobereKG
#complexity
#proving
#smt
The Proof Complexity of SMT Solvers (
RR
,
AK
,
VG
), pp. 275–293.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.