Andrew Reynolds

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Jasmin Christian Blanchette (1)

Papers

A Decision Procedure for (Co)datatypes in SMT Solvers IJCAI 2016