( en | de | ru )

 

Disambiguation of "Ivrii, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
The Computational Complexity of Structure-Based Causality.

, , , and . AAAI, page 974-980. AAAI Press, (2014)

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

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)

Alexander Auch

A phylogenetic potpourri: computational methods for analysing genome scale data. Uni Tübingen, (2010)

Alexander Gocht

Methods in economic farm modelling. Uni Bonn, (2009)

Alexander Blecken

A reference task model for supply chain processes of humanitarian organisations. Uni Paderborn, (2009)
 

Other publications of authors with the same name

Computing Interpolants without Proofs., , and . Haifa Verification Conference, volume 7857 of Lecture Notes in Computer Science, page 72-85. Springer, (2012)Generating Modulo-2 Linear Invariants for Hardware Model Checking., , , and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 54-67. Springer, (2014)The Computational Complexity of Structure-Based Causality., , , and . J. Artif. Intell. Res., (2017)IC3 with Internal Signals., , , and . FMCAD, page 63-71. IEEE, (2021)IC3-guided abstraction., , , and . FMCAD, page 182-185. IEEE, (2012)Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection., , , , and . DAC, page 1-2. IEEE, (2020)Speeding up MUS Extraction with Preprocessing and Chunking., and . SAT, volume 9340 of Lecture Notes in Computer Science, page 17-32. Springer, (2015)Exploiting Isomorphic Subgraphs in SAT (Long version)., and . CoRR, (2021)Pushing to the Top., and . FMCAD, page 65-72. IEEE, (2015)Incremental formal verification of hardware., , , , and . FMCAD, page 135-143. FMCAD Inc., (2011)