( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Speeding up MUS Extraction with Preprocessing and Chunking.

, и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2015)

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.

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)
 

Другие публикации лиц с тем же именем

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