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

First Page		Document Content
Date: 2015-05-26 05:21:01		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 Source URL: sat.isa.ru Download Document from Source Website File Size: 798,01 KB Share Document on Facebook