Work

Multi-scale graph neural network approach for phase prediction in SAT solvers

Year: 2026

Type: article

Source: International Journal of Data Science and Analytics

DOI: 10.1007/s41060-026-01291-7

Authors: Wenjing Chang, Changhan Wang

Institution: Henan Polytechnic University

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

OpenAlex ID: W7223556444

FWCI:

Cites: 23

Cited by:

Related to: 10