PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ivrii, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.

, , , , and . FMCAD, page 1-9. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Jaust

Alexander Jaust

Alexander Keller

Alexander Bartler University of Stuttgart

 

Other publications of authors with the same name

Generalized counterexamples to liveness properties., , , and . FMCAD, page 169-180. IEEE, (2013)On computing minimal independent support and its applications to sampling and counting., , , and . Constraints, 21 (1): 41-58 (2016)Perfect Hashing and CNF Encodings of Cardinality Constraints., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 397-409. Springer, (2012)k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms., , and . FMCAD, page 1-5. IEEE, (2018)Small inductive safe invariants., , and . FMCAD, page 115-122. IEEE, (2014)On Efficient Computation of Variable MUSes., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 298-311. Springer, (2012)Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties., , , , and . FMCAD, page 1-9. IEEE, (2019)Constrained Sampling and Counting: Universal Hashing Meets SAT Solving., , , , , , , and . AAAI Workshop: Beyond NP, volume WS-16-05 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.IC3-guided abstraction., , , and . FMCAD, page 182-185. IEEE, (2012)The Computational Complexity of Structure-Based Causality., , , and . J. Artif. Intell. Res., (2017)