2015 The 5th International Workshop on Computer Science and Engineering TRANSALG: A Tool for Translating Procedural Descriptions of Discrete Functions to SAT Ilya Otpuschennikov, Alexander Semenov, and Stepan Kochemazov - Procedural - Document - PDFSEARCH.IO

First Page	Meta Content
	2015 The 5th International Workshop on Computer Science and Engineering TRANSALG: A Tool for Translating Procedural Descriptions of Discrete Functions to SAT Ilya Otpuschennikov, Alexander Semenov, and Stepan Kochemazov Add to Reading List Document Date: 2015-05-26 05:21:01 Open Document File Size: 798,01 KB Share Result on Facebook

2015 The 5th International Workshop on Computer Science and Engineering TRANSALG: A Tool for Translating Procedural Descriptions of Discrete Functions to SAT Ilya Otpuschennikov, Alexander Semenov, and Stepan KochemazovAdd to Reading List