相关论文: Incremental SAT-Based Enumeration of Solutions to …
The framework of database repairs and consistent answers to queries is a principled approach to managing inconsistent databases. We describe the first system able to compute the consistent answers of general aggregation queries with the…
A first aim of this paper is to give sufficient conditions on left non-degenerate bijective set-theoretic solutions of the Yang-Baxter equation so that they are non-degenerate. In particular, we extend the results on involutive solutions…
State-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT solvers divide a SAT-query into multiple sub-queries, each solved by a…
The one of the most interesting problem of discrete mathematics is the SAT (satisfiability) problem. Good way in SAT solver developing is to transform the SAT problem to the problem of continuous search of global minimums of the functional…
In computational complexity theory, a decision problem is NP-complete when it is both in NP and NP-hard. Although a solution to a NP-complete can be verified quickly, there is no known algorithm to solve it in polynomial time. There exists…
In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,\sigma,\tau)$ of…
Frequent itemset mining is an essential part of data analysis and data mining. Recent works propose interesting SAT-based encodings for the problem of discovering frequent itemsets. Our aim in this work is to define strategies for adapting…
We investigate integrable fermionic models within the scheme of the graded Quantum Inverse Scattering Method, and prove that any symmetry imposed on the solution of the Yang-Baxter Equation reflects on the constants of motion of the model;…
Given a right-non-degenerate set-theoretic solution $(X,r)$ to the Yang-Baxter equation, we construct a whole family of YBE solutions $r^{(k)}$ on $X$ indexed by its reflections $k$ (i.e., solutions to the reflection equation for $r$). This…
We connect properties of set-theoretic solutions to the Yang--Baxter equation to properties of their permutation skew brace. In particular, a variation of the multipermutation level of a solution is presented and we show that it coincides…
The Yang-Baxter Equation (YBE) plays a crucial role for studying integrable many-body quantum systems. Many known YBE solutions provide various examples ranging from quantum spin chains to superconducting systems. Models of solvable…
We give a general method of construting quantum circuit for random \QTR{it}{satisfiability} (SAT) problems with the basic logic gates such as multi-qubit controlled-NOT and NOT gates. The sizes of these circuits are almost the same as the…
Cutting rectangular items from stock sheets to satisfy demands while minimizing waste is a central manufacturing task. The Two-Dimensional Single Stock Size Cutting Stock Problem (2D-CSSP) generalizes bin packing by requiring multiple…
A globally converging numerical method to solve coupled sets of non-linear integral equations is presented. Such systems occur e.g. in the study of Dyson-Schwinger equations of Yang-Mills theory and QCD. The method is based on the knowledge…
We explore the algebraic structure of a particular ansatz of Yang Baxter Equation which is inspired from the Bethe Ansatz treatment of the ASEP spin-model. Various classes of Hamiltonian density arriving from two types of R-Matrices are…
We study involutive non-degenerate set-theoretic solutions (X,r) of the Yang-Baxter equation on a finite set X. The emphasis is on the case where (X,r) is indecomposable, so the associated permutation group acts transitively on X. One of…
A new method to construct involutive non-degenerate set-theoretic solutions $(X^n,r^{(n)})$ of the Yang-Baxter equation from an initial solution $(X,r)$ is given. Furthermore, the permutation group $\mathcal{G}(X^n,r^{(n)})$ associated to…
Solutions of the classical Yang-Baxter equation provide a systematic method to construct integrable quantum systems in an algebraic manner. A Lie algebra can be associated with any solution of the classical Yang--Baxter equation, from which…
The Yang-Baxter equation is an important tool in theoretical physics, with many applications in different domains that span from condensed matter to string theory. Recently, the interest on the equation has increased due to its connection…
In this paper, we propose an extension of our Mining for SAT framework to Constraint satisfaction Problem (CSP). We consider n-ary extensional constraints (table constraints). Our approach aims to reduce the size of the CSP by exploiting…