NP Satisfiability for Arrays as Powers

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_15 ◽

2022 ◽

pp. 301-318

Author(s):

Rodrigo Raya ◽

Viktor Kunčak

Download Full-text