Exploring Theories with a Model-Finding Assistant∗ Salman Saghafi, Ryan Danas, and Daniel J. Dougherty Worcester Polytechnic Institute, Worcester, Massachusetts, USA Abstract. We present an approach to understanding f - Dougherty - Document - PDFSEARCH.IO

First Page	Meta Content
	Exploring Theories with a Model-Finding Assistant∗ Salman Saghafi, Ryan Danas, and Daniel J. Dougherty Worcester Polytechnic Institute, Worcester, Massachusetts, USA Abstract. We present an approach to understanding f Add to Reading List Document Date: 2015-07-21 13:00:28 Open Document File Size: 365,63 KB Share Result on Facebook

Exploring Theories with a Model-Finding Assistant∗ Salman Saghafi, Ryan Danas, and Daniel J. Dougherty Worcester Polytechnic Institute, Worcester, Massachusetts, USA Abstract. We present an approach to understanding fAdd to Reading List