notesum.ai
Published at November 10Automated Strategy Invention for Confluence of Term Rewrite Systems
cs.LO
cs.AI
F.4.2; I.2.8
Released Date: November 10, 2024
Authors: Liao Zhang1, Fabian Mitterwallner2, Jan Jakubuv3, Cezary Kaliszyk4
Aff.: 1University of Innsbruck, Czech Technical University in Prague; 2University of Innsbruck; 3Czech Technical University in Prague; 4Czech Technical University in Prague, University of Melbourne
| default | total | combine | CoCo 2023 | ||||
|---|---|---|---|---|---|---|---|
| CPU | 1 | 4 | 1 | 4 | 1 | 4 | |
| yes | 274 | 281 | 282 | 287 | 275 | 283 | 281 |
| no | 203 | 206 | 209 | 208 | 209 | 207 | 206 |
| solved | 477 | 487 | 491 | 495 | 484 | 490 | 487 |