@solidangles @BradFindell David Jeffrey @DJJ317 has invented a superior notation for the inverse of a function. https://t.co/AkoqOexnEL I wish that it would catch on. I know which way to bet on that, though. The "functional iteration as powers" notation ha
836 followers
642 followers
#arXiv #cs_AI "Conformant Planning as a Case Study of Incremental QBF Solving. (arXiv:1405.7253v3 [cs.LO] UPDATED)" https://t.co/4jNTYySiSV
642 followers
#arXiv #cs_LO "Conformant Planning as a Case Study of Incremental QBF Solving. (arXiv:1405.7253v3 [cs.LO] UPDATED)" https://t.co/4jNTYySiSV
900 followers
https://t.co/BA7zXsTMh6 Conformant Planning as a Case Study of Incremental QBF Solving. (arXiv:1405.7253v3 [cs.LO] UPDATED) #ai