Finding All Minimal Safe Inductive Sets

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_21 ◽

2018 ◽

pp. 346-362

Author(s):

Ryan Berryhill ◽

Alexander Ivrii ◽

Andreas Veneris

Download Full-text