APA (7th ed.) Citation

Wen, W., & Yu, T. (2023). W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs.

Chicago Style (17th ed.) Citation

Wen, Weihuang, and Tianshu Yu. W2SAT: Learning to Generate SAT Instances from Weighted Literal Incidence Graphs. 2023.

MLA (9th ed.) Citation

Wen, Weihuang, and Tianshu Yu. W2SAT: Learning to Generate SAT Instances from Weighted Literal Incidence Graphs. 2023.

Warning: These citations may not always be 100% accurate.