A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Topic: Constraint Satisfaction and Optimization ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers in Constraint Satisfaction and Optimization 4

Sort: Cited Newest Oldest Fwci Patents ⇩ CSV

One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction
2022 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Berke Kisin, Jakob Lindner, Martin Grohe

1

citations
Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs
2025 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Jan Tönshoff, Martin Grohe

0

citations
Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization
2020 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

Chu Yi, Chuan Wen Luo, Holger H. Hoos, Qingwei Lin, Haihang You

0

citations
Automatically discovering heuristics in a complex SAT solver with large language models
2025 Research Square preprint Computer Science Constraint Satisfaction and Optimization Open access

Shaowei Cai, Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei

0

citations

4 results