KBO Constraint Solving Revisited

Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach. KBO Constraint Solving Revisited. In Uli Sattler, Martin Suda 0001, editors, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Volume 14279 of Lecture Notes in Computer Science, pages 81-98, Springer, 2023. [doi]

Abstract

Abstract is missing.