@luctielen Speeding up redundancy elimination by multiple orders of magnitude in a BS(LRA) solver by implementing a simple heuristic. https://t.co/GQf04dJEl1
Automated Reasoning
Springer International Publishing
@luctielen Speeding up redundancy elimination by multiple orders of magnitude in a BS(LRA) solver by implementing a simple heuristic. https://t.co/GQf04dJEl1
@freekwiedijk Thanks! Actually my message was a bit sarcastic :) I knew some of Josef Urban's work and https://t.co/6XpGAsB9Td looks really interesting. Using AI for heuristics or guidance looks promising. (1/2)
Open Access UCL Research: Non-associative, Non-commutative Multi-modal Linear Logic https://t.co/TyuWhrL4gs
Congrats to Anupam Das and Marianna Girlando from @uobcompsci for winning the 'Best Paper Award' at IJCAR '22 for their paper "Cyclic proofs, hypersequents, and transitive closure logic": https://t.co/wbzCbyOs6z