KBO Constraint Solving Revisited. - Yasmine Briefs; Hendrik Leidinger; Christoph Weidenbach (FroCoS, 2023)