21 citations · 33 across the 5 of their papers we have counts for
1 paper · 2 filters
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…