SIMD-accelerated parity game solving for formal verification via Strahler progress measures
Bron
IEEE embedded systems letters - ISSN 1943-0663-18:5 (2026) p. 397-400
Data structures for finite downsets of natural vectors : theory and practice
Bron
Lecture notes in computer science-16145 () p. 425-446