35 citations · 169 across the 13 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023
Integer Programming with GCD Constraints
Rémy Defossez, Christoph Haase, Alessio Mansutti +1
We study the non-linear extension of integer programming with greatest common divisor constraints of the form , where and are linear polynomials, is a…
cs.LO2023★ 1 cited
Semënov Arithmetic, Affine VASS, and String Constraints
Andrei Draghici, Christoph Haase, Florin Manea
We study extensions of Semënov arithmetic, the first-order theory of the structure . It is well-knonw that this theory becomes undecidable when extended with…
cs.LO2023★ 1 cited
Universal quantification makes automatic structures hard to decide
Christoph Haase, Radoslaw Piórkowski
Automatic structures are first-order structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular lan…