%0 Conference Paper %1 conf/frocos/BriefsLW23 %A Briefs, Yasmine %A Leidinger, Hendrik %A Weidenbach, Christoph %B FroCoS %D 2023 %E Sattler, Uli %E Suda, Martin %I Springer %K dblp %P 81-98 %T KBO Constraint Solving Revisited. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2023.html#BriefsLW23 %V 14279 %@ 978-3-031-43369-6

@inproceedings{conf/frocos/BriefsLW23, added-at = {2023-11-01T00:00:00.000+0100}, author = {Briefs, Yasmine and Leidinger, Hendrik and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2fd66eb5db09c098f937fcc88173d3f97/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2023}, editor = {Sattler, Uli and Suda, Martin}, ee = {https://doi.org/10.1007/978-3-031-43369-6_5}, interhash = {fe3b704e31eaf219093f0dcfdbe37167}, intrahash = {fd66eb5db09c098f937fcc88173d3f97}, isbn = {978-3-031-43369-6}, keywords = {dblp}, pages = {81-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:39:37.000+0200}, title = {KBO Constraint Solving Revisited.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2023.html#BriefsLW23}, volume = 14279, year = 2023 }