↓ Skip to main content

Frontiers of Combining Systems

Overview of attention for book
Attention for Chapter 5: KBO Constraint Solving Revisited
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
KBO Constraint Solving Revisited
Chapter number 5
Book title
Frontiers of Combining Systems
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-43369-6_5
Book ISBNs
978-3-03-143368-9, 978-3-03-143369-6

Briefs, Yasmine, Leidinger, Hendrik, Weidenbach, Christoph