( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving Set Cover and Dominating Set via Maximum Satisfiability.

, и . AAAI, стр. 1569-1576. AAAI Press, (2020)

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.

Jian Cai

Yongjie Cai

Xuediao Cai

Ying Cai

Cuifang Cai

 

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

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T)., , , , , и . ASE, стр. 494-505. IEEE Computer Society, (2015)Tailoring Local Search for Partial MaxSAT., , , и . AAAI, стр. 2623-2629. AAAI Press, (2014)Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem., , , , и . AAAI, стр. 2343-2350. AAAI Press, (2020)Configuration Checking with Aspiration in Local Search for SAT., и . AAAI, стр. 434-440. AAAI Press, (2012)PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation., , и . PPSN (1), том 12269 из Lecture Notes in Computer Science, стр. 373-389. Springer, (2020)Local Search with Configuration Checking for SAT., и . ICTAI, стр. 59-66. IEEE Computer Society, (2011)PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector, , , , , , , , , и 1 other автор(ы). 35, стр. 8784-8792. (2020)Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability., и . Artif. Intell., (2020)An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs., , и . SEAL, том 10593 из Lecture Notes in Computer Science, стр. 145-157. Springer, (2017)Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking., , , , и . ICCAD, стр. 1-9. IEEE, (2023)