2 papers
math.AC2024
Goldbach theorems for group semidomains
Eddy Li, Advaith Mopuri, Charles Zhang
A semidomain is a subsemiring of an integral domain. We call a semidomain additively reduced if is the only invertible element of the monoid , while we say that …
cs.LO2024
Equational Bit-Vector Solving via Strong Gröbner Bases
Jiaxin Song, Hongfei Fu, Charles Zhang
Bit-vectors, which are integers in a finite number of bits, are ubiquitous in software and hardware systems. In this work, we consider the satisfiability modulo theories (SMT) of b…