Cited By
View all- Mitterwallner FMiddeldorp AThiemann RSobocinski PLago UEsparza J(2024)Linear Termination is UndecidableProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662081(1-12)Online publication date: 8-Jul-2024
- Jia FHan RHuang PLiu MMa FZhang JJust RFraser G(2023)Improving Bit-Blasting for Nonlinear Integer ConstraintsProceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3597926.3598034(14-25)Online publication date: 12-Jul-2023
- Yolcu EAaronson SHeule M(2023)An Automated Approach to the Collatz ConjectureJournal of Automated Reasoning10.1007/s10817-022-09658-867:2Online publication date: 25-Apr-2023
- Show More Cited By