![](https://www.pdfsearch.io/img/d8424eb83f7bbdbaa11b31559f19c3d8.jpg) 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 KochemazovAdd to Reading ListSource URL: sat.isa.ruDownload Document from Source Website File Size: 798,01 KBShare Document on Facebook
|