29 citations · 49 across the 9 of their papers we have counts for
1 paper · 1 filter
Rodrigo Raya, Jad Hamza, Viktor Kunčak
Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a li…