Luka, A., & Vizel, Y. (2025). Property Directed Reachability with Extended Resolution.
Chicago Style (17th ed.) CitationLuka, Andrew, and Yakir Vizel. Property Directed Reachability with Extended Resolution. 2025.
MLA (9th ed.) CitationLuka, Andrew, and Yakir Vizel. Property Directed Reachability with Extended Resolution. 2025.
Warning: These citations may not always be 100% accurate.