( en | de | ru )

 

Disambiguierung von "Cai, Shaowei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards More Efficient Local Search for Pseudo-Boolean Optimization.

, , , , und . CP, Volume 280 von LIPIcs, Seite 12:1-12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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

Lijun Cai

Xuediao Cai

Cai Berg

 

Weitere Publikationen von Autoren mit dem selben Namen

PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector, , , , , , , , , und 1 andere Autor(en). 35, Seite 8784-8792. (2020)Improving two-mode algorithm via probabilistic selection for solving satisfiability problem., , , , , und . Inf. Sci., (Januar 2024)Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability., und . Artif. Intell., (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)Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking., , , , und . ICCAD, Seite 1-9. IEEE, (2023)Configuration Checking with Aspiration in Local Search for SAT., und . AAAI, Seite 434-440. AAAI Press, (2012)PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector., , , , , , , , , und 1 andere Autor(en). AAAI, Seite 8784-8792. AAAI Press, (2021)Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems., , , , , , , , , und 3 andere Autor(en). AAAI, Seite 12363-12372. AAAI Press, (2021)Tailoring Local Search for Partial MaxSAT., , , und . AAAI, Seite 2623-2629. AAAI Press, (2014)Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem., , , , und . AAAI, Seite 2343-2350. AAAI Press, (2020)