21 citations · 54 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SI2014★ 20 cited
Using synchronous Boolean networks to model several phenomena of collective behavior
Stepan Kochemazov, Alexander Semenov
In this paper, we propose an approach for modeling and analysis of a number of phenomena of collective behavior. By collectives we mean multi-agent systems that transition from one…
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…