We suggest a new mechanism for the formation of true muonium (TM), the QED (µ+µ−) bound state, due to the Coulomb interaction of muons from µ+µ− pairs generated in the Drell-Yan reaction of protons...
详细信息
This book constitutes refereed proceedings of the 20th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. Due to the COVID-19 ...
详细信息
ISBN:
(数字)9783030864330
ISBN:
(纸本)9783030864323
This book constitutes refereed proceedings of the 20th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. Due to the COVID-19 pandemic the conference was held online.;The 31 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 102 submissions. The papers in the volume are organised according to the following topical headings: continuous optimization; integer programming and combinatorial optimization; operational research applications; optimal control.
In the context of the problem of checking the equivalence of Boolean circuits (LEC), we propose an approach that increases the efficiency of modern SAT solvers on this problem by generating additional constraints of a...
详细信息
The problem of finding a Nash equilibrium in polymatrix game of three players (hexamatrix game) is considered. For the equivalent nonconvex optimization problem an issue of local search is investigated. First, we stud...
详细信息
The paper presents logical derivation algorithms that can be applied to inversion of polynomially computable discrete functions. The proposed approach is based on the fact that it is possible to organize DPLL derivati...
详细信息
In this article, in the context of the Boolean satisfiability problem (SAT), the question of speeding up the SAT solvers on specific input formulas is considered. The speedup is achieved using the CNF preprocessing al...
详细信息
The Baikal Natural Territory includes Lake Baikal, its water protection zone, the basin within the territory of the Russian Federation, adjacent specially protected natural areas, and also the territory adjacent to th...
详细信息
Sufficient and necessary global optimality conditions for nonlinear impulsive dynamic optimization problems with endpoint constraints are obtained. Proofs of these results are based on Hamilton-Jacobi canonical optima...
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 SAT is based on propositional encodin...
详细信息
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 SAT is based on propositional encoding methods for formal computing models and on the concept of symbolic execution. We used the Transalg system to make SAT encodings for a number of cryptographic functions.
In this paper we consider the approach to solving the problem of search for systems of diagonal orthogonal Latin squares in the form of the Boolean Satisfiability problem. We describe two different propositional encod...
详细信息
In this paper we consider the approach to solving the problem of search for systems of diagonal orthogonal Latin squares in the form of the Boolean Satisfiability problem. We describe two different propositional encodings that we use. The first encoding is constructed for finding pairs of orthogonal diagonal Latin squares of order 10. Using this encoding we managed to find 17 previously unknown pairs of such squares using the volunteer computing project SAT@home. The second encoding is constructed for finding pseudotriples of orthogonal diagonal Latin squares of order 10. Using the pairs found with the help of SAT@home and the second encoding we successfully constructed several new pseudotriples of diagonal Latin squares of order 10.
暂无评论