Author of the publication

Investigating the Existence of Holey Latin Squares via Satisfiability Testing.

, , , , , , and . PRICAI (2), volume 14326 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks., , , , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 885-898. Springer, (2020)GIS-Based Urban Land Development Intensity Impact Factors Analysis., , , and . AICI, volume 7530 of Lecture Notes in Computer Science, page 341-348. Springer, (2012)A Blockchain-Based Cooperative Perception in Internet of Vehicles., , , , , and . VTC Fall, page 1-6. IEEE, (2021)Region-Enhancing Network for Semantic Segmentation of Remote-Sensing Imagery., , , , and . Sensors, 21 (21): 7316 (2021)CA_DeepSC: Cross-Modal Alignment for Multi-Modal Semantic Communications., , and . GLOBECOM, page 5871-5876. IEEE, (2023)Collaborative Spatial-Temporal Distillation for Efficient Video Deraining., , , , and . ICME, page 1937-1942. IEEE, (2023)NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization., , , , , , , and . ASE, page 2046-2049. IEEE, (2023)Dyna-CLUE Model Improvement Based on Exponential Smoothing Method and Land Use Dynamic Simulation., , , and . GRMSE (2), volume 399 of Communications in Computer and Information Science, page 266-277. Springer, (2013)Coexistence of singular cycles in a class of three-dimensional piecewise affine systems., , and . Comput. Appl. Math., 43 (5): 292 (July 2024)Investigating the Existence of Holey Latin Squares via Satisfiability Testing., , , , , , and . PRICAI (2), volume 14326 of Lecture Notes in Computer Science, page 410-422. Springer, (2023)