( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Investigating the Existence of Holey Latin Squares via Satisfiability Testing.

, , , , , , и . PRICAI (2), том 14326 из Lecture Notes in Computer Science, стр. 410-422. Springer, (2023)

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.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Yan Zhang

Xianghong Zhang

Miao Zhang

 

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

Schröder quasigroups with a specified number of idempotents., и . Discret. Math., 312 (5): 868-882 (2012)Existence of self-orthogonal diagonal Latin squares with a missing subsquare., , и . Discret. Math., 261 (1-3): 69-86 (2003)Implementing the Davis-Putnam Method., и . J. Autom. Reason., 24 (1/2): 277-296 (2000)Holey Schröder designs of type 4n u1., и . Australas. J Comb., (2012)Sufficient-Completeness, Ground-Reducibility and their Complexity., , , и . Acta Informatica, 28 (4): 311-350 (1991)Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing., , , , и . IJCAR, том 10900 из Lecture Notes in Computer Science, стр. 354-369. Springer, (2018)Constraint Propagation in Model Generation., и . CP, том 976 из Lecture Notes in Computer Science, стр. 398-414. Springer, (1995)Decoupling MIL Transformer-based Network for Weakly Supervised Polyp Detection., , , и . BIBM, стр. 969-973. IEEE, (2023)A Complete Random Jump Strategy with Guiding Paths.. SAT, том 4121 из Lecture Notes in Computer Science, стр. 96-101. Springer, (2006)Axiomatic semantics of a hardware specification language., и . Great Lakes Symposium on VLSI, стр. 183-190. IEEE, (1992)