( en | de | ru )

 

Disambiguierung von "Cai, Shaowei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.

, , , , und . ICCAD, Seite 1-9. IEEE, (2023)

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.

Jian Cai

Yongjie Cai

Xuediao Cai

Cuifang Cai

Lu Cai

 

Weitere Publikationen von Autoren mit dem selben Namen

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability., und . Artif. Intell., (2020)PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector, , , , , , , , , und 1 andere Autor(en). 35, Seite 8784-8792. (2020)An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs., , und . SEAL, Volume 10593 von Lecture Notes in Computer Science, Seite 145-157. Springer, (2017)Configuration Checking with Aspiration in Local Search for SAT., und . AAAI, Seite 434-440. AAAI Press, (2012)Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems., , , , , , , , , und 3 andere Autor(en). AAAI, Seite 12363-12372. AAAI Press, (2021)Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem., , , , und . AAAI, Seite 2343-2350. AAAI Press, (2020)Tailoring Local Search for Partial MaxSAT., , , und . AAAI, Seite 2623-2629. AAAI Press, (2014)PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector., , , , , , , , , und 1 andere Autor(en). AAAI, Seite 8784-8792. AAAI Press, (2021)Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking., , , , und . ICCAD, Seite 1-9. IEEE, (2023)Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization., , , , , , und . CP, Volume 280 von LIPIcs, Seite 41:1-41:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)