Friday, December 28, 2018

A Data-Driven CHC Solver [pdf]

By December 28, 2018 , No comments

Article URL: https://www.cs.purdue.edu/homes/suresh/papers/pldi18.pdf

Comments URL: https://news.ycombinator.com/item?id=18775272

Points: 1

# Comments: 0



from Hacker News: Newest http://bit.ly/2QWqtBS

0 comments:

Post a Comment