Ryan Danas

According to our database, Ryan Danas authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2015

Exploring Theories with a Model-Finding Assistant.

Salman Saghafi, Ryan Danas, Daniel J. Dougherty

Proceedings of the Automated Deduction - CADE-25, 2015