相关论文: Incremental SAT-Based Enumeration of Solutions to …

In 1992 Drinfeld posed the question of finding the set theoretic solutions of the Yang-Baxter equation. Recently, Gateva-Ivanova and Van den Bergh and Etingof, Schedler and Soloviev have shown a group theoretical interpretation of…

We study non-degenerate set-theoretic solutions of the Yang-Baxter equation of multipermutation level 2 which are not 2-reductive. We describe an effective way of constructing such solutions using square-free 2-reductive solutions and two…

In this paper, we propose a constraint-based modeling approach for the problem of discovering frequent gradual patterns in a numerical dataset. This SAT-based declarative approach offers an additional possibility to benefit from the recent…

All-Solution Satisfiability (AllSAT) and its extension, All-Solution Satisfiability Modulo Theories (AllSMT), have become more relevant in recent years, mainly in formal verification and artificial intelligence applications. The goal of…

A bijective map $r: X^2 \longrightarrow X^2$, where $X = \{x_1, ..., x_n \}$ is a finite set, is called a \emph{set-theoretic solution of the Yang-Baxter equation} (YBE) if the braid relation $r_{12}r_{23}r_{12} = r_{23}r_{12}r_{23}$ holds…

We study set-theoretic solutions $(X,r)$ of the Yang-Baxter equations on a set $X$ in terms of the induced left and right actions of $X$ on itself. We give a characterization of involutive square-free solutions in terms of cyclicity…

Several aspects of relations between braces and non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation are discussed and many consequences are derived. In particular, for each positive integer $n$ a finite square-free…

Based on recent results obtained by the authors on the inverse scattering method of the vector nonlinear Schr\"odinger equation with integrable boundary conditions, we discuss the factorization of the interactions of N-soliton solutions on…

We construct solutions to the set-theoretic Yang-Baxter equation using braid group representations in free group automorphisms and their Fox differentials. The method resembles the extensions of groups and quandles.

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such. Solving weighted Max-SAT is an important problem from both a theoretical and a practical point of view. In recent years, there…

One of the fundamental results in quantum foundations is the Kochen-Specker (KS) theorem, which states that any theory whose predictions agree with quantum mechanics must be contextual, i.e., a quantum observation cannot be understood as…

Approximate model counting for bit-vector SMT formulas (generalizing \#SAT) has many applications such as probabilistic inference and quantitative information-flow security, but it is computationally difficult. Adding random parity…

Every unitary involutive solution of the quantum Yang-Baxter equation ("R-matrix") defines an extremal character and a representation of the infinite symmetric group $S_\infty$. We give a complete classification of all such Yang-Baxter…

We propose to reduce the original well-posed problem of compressive sensing to weighted-MAX-SAT. Compressive sensing is a novel randomized data acquisition approach that linearly samples sparse or compressible signals at a rate much below…

There are numerous NP-hard combinatorial problems which involve searching for an undirected graph satisfying a certain property. One way to solve such problems is to translate a problem into an instance of the boolean satisfiability (SAT)…

The aim of this review is to present the list of by now a significant collection of quantum integrable models, ultralocal as well as nonultralocal, in a systematic way stressing on their underlying unifying algebraic structures. We restrict…

This paper aims to deepen the theory of bijective non-degenerate set-theoretic solutions of the Yang-Baxter equation, not necessarily involutive, by means of q-cycle sets. We entirely focus on the finite indecomposable ones among which we…

Given an unsatisfiable formula, understanding the core reason for unsatisfiability is crucial in several applications. One effective way to capture this is through the minimal unsatisfiable subset (MUS), the subset-minimal set of clauses…

Inspired by the integrable structures appearing in weakly coupled planar N=4 super Yang-Mills theory, we study Q-operators and Yangian invariants of rational integrable spin chains. We review the quantum inverse scattering method along with…

We present a systematic procedure to obtain singular solutions of the constant quantum Yang-Baxter equation in arbitrary dimension. This approach, inspired in the Lie (super)algebra structure, is explicitly applied to the particular case of…