Chang, W., & Liu, W. (2025). SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem. Electronics (Basel), 14(3), 423. https://doi.org/10.3390/electronics14030423
Citácia podle Chicago (17th ed.)Chang, Wenjing, a Wenlong Liu. "SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem." Electronics (Basel) 14, no. 3 (2025): 423. https://doi.org/10.3390/electronics14030423.
Citácia podľa MLA (8th ed.)Chang, Wenjing, a Wenlong Liu. "SAT-GATv2: A Dynamic Attention-Based Graph Neural Network for Solving Boolean Satisfiability Problem." Electronics (Basel), vol. 14, no. 3, 2025, p. 423, https://doi.org/10.3390/electronics14030423.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..