Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1405.1544
Cited By
v1
v2 (latest)
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
7 May 2014
I. Otpuschennikov
A. Semenov
S. Kochemazov
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT"
2 / 2 papers shown
Title
Encoding Cryptographic Functions to SAT Using Transalg System
I. Otpuschennikov
A. Semenov
I. Gribanova
O. Zaikin
S. Kochemazov
43
27
0
04 Jul 2016
Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem
A. Semenov
O. Zaikin
40
16
0
03 Jul 2015
1
