Cited By
View all- Dodaro C(2024)Design and implementation of modern CDCL ASP solversIntelligenza Artificiale10.3233/IA-240019(1-21)Online publication date: 25-May-2024
- Duong HXu DNguyen TDwyer M(2024)Harnessing Neuron Stability to Improve DNN VerificationProceedings of the ACM on Software Engineering10.1145/36437651:FSE(859-881)Online publication date: 12-Jul-2024
- Desoeuvres AIosif ALüders CRadulescu ORahkooy HSeiß MSturm T(2024)A Computational Approach to Polynomial Conservation LawsSIAM Journal on Applied Dynamical Systems10.1137/22M154401423:1(813-854)Online publication date: 12-Mar-2024
- Show More Cited By