( en | de | ru )

 

Disambiguierung von "Cai, Shaowei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.

, , und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 1-8. Springer, (2015)

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

Cai Berg

Xuediao Cai

Jiehua Cai

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Configuration Checking with Aspiration in Local Search for SAT., und . AAAI, Seite 434-440. AAAI Press, (2012)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)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)TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)., , , , , und . ASE, Seite 494-505. IEEE Computer Society, (2015)PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation., , und . PPSN (1), Volume 12269 von Lecture Notes in Computer Science, Seite 373-389. Springer, (2020)Local Search with Configuration Checking for SAT., und . ICTAI, Seite 59-66. IEEE Computer Society, (2011)