absal-ex
absal-ex copied to clipboard
Equivalence with the original paper?
Hello,
I stumbled across this, and this is very cool! I'm still working through Lamping's original paper right now. My impression is that the original paper has many more cases than the 2 you list here --- can you please explain how these two rules suffice, and why the original paper has so many more rules than this implementation?
Thanks a lot ~Siddharth
I also found this repository by chance and asked myself the same question. :-)
The README.md mentions "Absal" (which seems to stand for "abstract algorithm"), but does not link to the relevant repository: https://github.com/VictorTaelin/abstract-algorithm
There, it is stated that: "this algorithm isn't complete". So it does not solve the same problem as Lampings original algorithm in the same generality.