1,012 followers
1,374 followers
RT @ShriramKMurthi: @krismicinski @codydroux Here you go: "Efficient model checking using tabled resolution". It's one of my favorite examp…
1,012 followers
RT @ShriramKMurthi: @krismicinski @codydroux Here you go: "Efficient model checking using tabled resolution". It's one of my favorite examp…
18,524 followers
@krismicinski @codydroux Here you go: "Efficient model checking using tabled resolution". It's one of my favorite examples of the power of PL done right. https://t.co/uy3BF47FV1 https://t.co/AVHioSiDs5