Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Neural Fault Analysis for SAT-based ATPG., , , , , und . ITC, Seite 36-45. IEEE, (2022)Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics., , , , , , und . ASP-DAC, Seite 365-370. IEEE, (2022)SATformer: Transformer-Based UNSAT Core Learning., , , , , , , und . ICCAD, Seite 1-4. IEEE, (2023)Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG., , , , , und . CoRR, (2023)Data Augmentation Algorithm Based on Generative Antagonism Networks (GAN) Model for Optical Transmission Networks (OTN)., , , , , , , , , und . CECNet, Volume 345 von Frontiers in Artificial Intelligence and Applications, Seite 603-611. IOS Press, (2021)Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification., , , , , , und . DATE, Seite 1-6. IEEE, (2024)IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability., , , , , und . CoRR, (2024)HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline., , , , , , , , und . KDD, Seite 4414-4425. ACM, (2023)DeepGate2: Functionality-Aware Circuit Representation Learning., , , , , , , , , und . ICCAD, Seite 1-9. IEEE, (2023)OSNR Prediction Based on Federal Learning in Multi-Domain Optical Networks., , , , , , , , , und . CECNet, Volume 345 von Frontiers in Artificial Intelligence and Applications, Seite 612-620. IOS Press, (2021)