166 followers
@luctielen Speeding up redundancy elimination by multiple orders of magnitude in a BS(LRA) solver by implementing a simple heuristic. https://t.co/GQf04dJEl1
@luctielen Speeding up redundancy elimination by multiple orders of magnitude in a BS(LRA) solver by implementing a simple heuristic. https://t.co/GQf04dJEl1