Login / Signup
Andrew J. Reynolds
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Databases
Evolutionary Algorithm
Semi Supervised
Extended Abstract
Top Venues
HaTT@IJCAR
</>
Publications
</>
Burak Ekici
,
Guy Katz
,
Chantal Keller
,
Alain Mebsout
,
Andrew J. Reynolds
,
Cesare Tinelli
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract).
HaTT@IJCAR
(2016)