research
∙
10/04/2022
Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
In this paper we investigate how to estimate the hardness of Boolean sat...
share
research
∙
08/17/2022
Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches
This paper presents a comprehensive survey of methods which can be utili...
research
∙
08/17/2022
Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches
This paper presents a comprehensive survey of methods which can be utili...
research
∙
04/28/2022
Who will stay? Using Deep Learning to predict engagement of citizen scientists
Citizen science and machine learning should be considered for monitoring...
research
∙
12/22/2021
Landscape properties of the very large-scale and the variable neighborhood search metaheuristics for the multidimensional assignment problem
We study the recent metaheuristic search algorithm for the multidimensio...
research
∙
12/06/2021
Multidimensional Assignment Problem for multipartite entity resolution
Multipartite entity resolution aims at integrating records from multiple...
research
∙
10/02/2021
Optimized Graph Based Routing Algorithm for the Angara Interconnect
JSC NICEVT has developed the Angara high-speed interconnect with 4D toru...
research
∙
01/09/2019
An Integer Programming Formulation of the Key Management Problem in Wireless Sensor Networks
With the advent of modern communications systems, much attention has bee...
research
∙
05/17/2018
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
In the present paper we describe the technology for translating algorith...
research
∙
03/13/2018
On Cryptographic Attacks Using Backdoors for SAT
Propositional satisfiability (SAT) is at the nucleus of state-of-the-art...
research
∙
02/27/2017
Multimodal Clustering for Community Detection
Multimodal clustering is an unsupervised technique for mining interestin...
research
∙
07/04/2016
Encoding Cryptographic Functions to SAT Using Transalg System
In this paper we propose the technology for constructing propositional e...
research
∙
10/29/2014
Using synchronous Boolean networks to model several phenomena of collective behavior
In this paper, we propose an approach for modeling and analysis of a num...
research
∙
05/07/2014
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT
In this paper we present the Transalg system, designed to produce SAT en...
research
∙
08/04/2013