Publication Details for Inproceedings "On the Expressive Power of GNNs for Boolean Satisfiability"
Back
New Search
Authors:
Saku Peltonen, Roger Wattenhofer
Group:
Distributed Computing
Type:
Inproceedings
Title:
On the Expressive Power of GNNs for Boolean Satisfiability
Year:
2025
Month:
September
Location:
Porto, Portugal
Resources:
[
BibTeX
]
Back
New Search
