( 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 . J. Artif. Intell. Res., (2017)

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 Blecken

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

Alexander Gocht

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

Other publications of authors with the same name

The Computational Complexity of Structure-Based Causality., , , and . J. Artif. Intell. Res., (2017)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)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)Incremental formal verification of hardware., , , , and . FMCAD, page 135-143. FMCAD Inc., (2011)Pushing to the Top., and . FMCAD, page 65-72. IEEE, (2015)