21 citations · 33 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.DC2014
Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks
Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov
In this paper we describe the volunteer computing project SAT@home, developed and maintained by us. This project is aimed at solving hard instances of the Boolean satisfiability pr…
cs.AI2014
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
Ilya Otpuschennikov, Alexander Semenov, Stepan Kochemazov
In this paper we present the Transalg system, designed to produce SAT encodings for discrete functions, written as programs in a specific language. Translation of such programs to…