Proceedings

Andrew Reynolds

1 paper in the IJCAI proceedings

IJCAI 2016

A Decision Procedure for (Co)datatypes in SMT Solvers
with Jasmin Christian Blanchette
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards